Lambda-calculus

A formalisation of design methods : a →l⇋[lambda]-calculus approach to system design with an application to text editing / Laurentius Michiel Gerardus Feijsschema:ProductModel A programming logic based on type theory / Erik Pollschema:ProductModel Algorithms for type theory / Johannes Gerardus Springintveldschema:ProductModel Coming to terms with modal logic : on the interpretation of modalities in typed →l⇋-calculus / Valentijn Anton Johan Borghuisschema:ProductModel Contexts in lambda calculus / Mirna Bognarschema:ProductModel Higher-order subtyping with intersection types / Adriana Beatriz Compagnonischema:ProductModel Intersection type disciplines in Lambda Calculus and applicative term rewriting systems / Stephanus Johannes van Bakelschema:ProductModel Lambda calculus extended with segments / door Harmannus Balstersschema:ProductModel Lambda-conversion and logic / door Adrian Rezusschema:ProductModel Language in action : categories, lambdas and dynamic logic / Johan van Benthemschema:ProductModel Language in action : categories, lambdas and dynamic logic / Johan van Benthemschema:ProductModel Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczynschema:ProductModel Logical semantics for concurrent lambda-calculus / M. Dezani-Ciancaglinischema:ProductModel Logics and type systems / Jan Herman Geuversschema:ProductModel Mathematical logic / ed. by R.O. Gandy and C.E.M. Yates ; including pref. by Solomon Feferman ... [et al.]schema:ProductModel Mathematical logic / ed. by R.O. Gandy and C.E.M. Yates ; including pref. by Solomon Feferman ... [et al.]schema:ProductModel Models for simply typed lambda-calculi with fixed point combinators and enumerators / Johannes Petrus Cornelius Maria van Draanenschema:ProductModel Models of the lambda calculus / Christiaan Peter Jozef Koymansschema:ProductModel Normalisation in lambda calculus and its relation to type inference / Paula Gabriela Severischema:ProductModel Preservation of termination for explicit substitution / Carolus Johannes Blooschema:ProductModel ... show all 24