56

The modified realizability topos

Year:
1997
Language:
english
File:
PDF, 1.01 MB
english, 1997
57

Preface

Year:
2002
Language:
english
File:
PDF, 29 KB
english, 2002
58

Extensional realizability

Year:
1997
Language:
english
File:
PDF, 2.11 MB
english, 1997
60

History and Developments

Year:
1999
Language:
english
File:
PDF, 502 KB
english, 1999
61

A semantical proof of De Jongh's theorem

Year:
1991
Language:
english
File:
PDF, 606 KB
english, 1991
74

Basic subtoposes of the effective topos

Year:
2013
Language:
english
File:
PDF, 313 KB
english, 2013
75

Realizability with a local operator of A.M. Pitts

Year:
2014
Language:
english
File:
PDF, 394 KB
english, 2014
76

Land evaluation for land use planning and conservation in sloping areas

Year:
1988
Language:
english
File:
PDF, 284 KB
english, 1988
77

Management of pastoral development in the third world

Year:
1984
Language:
english
File:
PDF, 396 KB
english, 1984
78

Nanohole Chains for Directional and Localized Surface Plasmon Excitation

Year:
2010
Language:
english
File:
PDF, 4.35 MB
english, 2010
86

electron-nuclear double resonance

Year:
1988
Language:
english
File:
PDF, 341 KB
english, 1988
87

Critical study of Sundberg's rules for expression in the performance of melodies

Year:
1993
Language:
english
File:
PDF, 481 KB
english, 1993
89

Ordered partial combinatory algebras

Year:
2003
Language:
english
File:
PDF, 366 KB
english, 2003
97

Sheaves, Games, and Model Completions

Year:
2004
Language:
english
File:
PDF, 77 KB
english, 2004