Type theories, normal forms, and D∞-lambda-models
Information and Computation
Journal of Computer and System Sciences
Information and Computation
Extending the type checker of Standard ML by polymorphic recursion
Theoretical Computer Science - Special issue: Gentzen
The Definition of Standard ML
An Extended Polymorphic Type System for Applicative Languages
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
A condition for identifying two elements of whatever model of combinatory logic
Proceedings of the Symposium on Lambda-Calculus and Computer Science Theory
Polymorphic Type Schemes and Recursive Definitions
Proceedings of the 6th Colloquium on International Symposium on Programming
The Y-combinator in Scott''s Lambda-calculus Models
The Y-combinator in Scott''s Lambda-calculus Models
Intersection types and domain operators
Theoretical Computer Science - Logic, semantics and theory of programming
Behavioural inverse limit λ-models
Theoretical Computer Science - Logic, semantics and theory of programming
Calculi, types and applications
Theoretical Computer Science
Hi-index | 0.01 |
We show how to use intersection types for building models of a @l-calculus enriched with recursive terms, whose intended meaning is of minimal fixed points. As a by-product we prove an interesting consistency result.