scientific article; zbMATH DE number 2079014

zbMath1044.68541MaRDI QIDQ4474826

David Aspinall

Publication date: 21 July 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items

System ST toward a type system for extraction and proofs of programs, Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions, Subtyping dependent types, A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance, Manifest Fields and Module Mechanisms in Intensional Type Theory, Strong Normalization with Singleton Types, Dependent types with subtyping and late-bound overloading, Intersection and singleton type assignment characterizing finite Böhm-trees