On the ubiquity of certain total type structures (2007)

by John Longley
Venue:UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
Citations:4 - 2 self

Active Bibliography

12 Notions of computability at higher types I – John Longley - 2005
36 The sequentially realizable functionals – John Longley
1 Matching typed and untyped realizability (Extended abstract) – John Longley
1 The Visser topology of lambda calculus – Chantal Berline, Giulio Manzonetto, Antonino Salibra
9 Lambda theories of effective lambda models – Chantal Berline, Giulio Manzonetto, Antonino Salibra - 2007
2 Applying Universal Algebra to Lambda Calculus – Giulio Manzonetto, Antonino Salibra - 2007
Effective λ-models versus recursively enumerable λ-theories – Chantal Berline , Giulio Manzonetto , Antonino Salibra
Models and theories of λ-calculus – Giulio Manzonetto, Università Ca, Foscari Venezia - 904
12 The sensible graph theories of lambda calculus – Antonio Bucciarelli, Antonino Salibra - 2004
23 Topological Incompleteness and Order Incompleteness of the Lambda Calculus – Antonino Salibra - 2001
10 Boolean algebras for lambda calculus – G. Manzonetto, A. Salibra - 2006
Problem 19 – Alberto Carraro, Antonino Salibra, Università Ca Foscari
8 Density and Choice for Total Continuous Functionals – Helmut Schwichtenberg - 1996
6 On sequential functionals of type 3 – Dag Normann - 2006
31 Equilogical Spaces – Andrej Bauer, Lars Birkedal, Dana S. Scott - 1998
7 Recursion on the partial continuous functionals – Helmut Schwichtenberg - 2006
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
6 Comparing Hierarchies of Types in Models of Linear Logic – Paul-Andre Mellies - 2003
9 The Minimal Graph Model of Lambda Calculus – Antonio Bucciarelli, Antonino Salibra