116

Mechanizing Metatheory Without Typing Contexts

Year:
2014
Language:
english
File:
PDF, 1.13 MB
english, 2014
128

Graphene bioelectronics

Year:
2013
Language:
english
File:
PDF, 839 KB
english, 2013
129

Judgmental subtyping systems with intersection types and modal types

Year:
2013
Language:
english
File:
PDF, 628 KB
english, 2013
144

Detecting the temporal structure of intermittent phase locking

Year:
2011
Language:
english
File:
PDF, 442 KB
english, 2011
149

A graphene force sensor with pressure-amplifying structure

Year:
2014
Language:
english
File:
PDF, 1.63 MB
english, 2014