Sciweavers

AML
2008
57views more  AML 2008»
13 years 11 months ago
Sheaf toposes for realizability
We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms t...
Steven Awodey, Andrej Bauer
LICS
1996
IEEE
14 years 3 months ago
Completing Partial Combinatory Algebras With Unique Head-Normal Forms
In this note, we prove that having unique head-normal forms is a sufficient condition on partial combinatory algebras to be completable. As application,we show that the pca of str...
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer