Collapsing graph models by preorders
- 23 November 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Isomorphisms and nonisomorphisms of graph modelsThe Journal of Symbolic Logic, 1991
- On the existence of extensional partial combinatory algebrasThe Journal of Symbolic Logic, 1987
- An interval model for second order lambda calculusPublished by Springer Nature ,1987
- How to construct extensional combinatory algebrasIndagationes Mathematicae, 1986
- Adjunction of semifunctors: Categorical structures in nonextensional lambda calculusTheoretical Computer Science, 1985
- Domains for denotational semanticsPublished by Springer Nature ,1982