Abstract Computing Machines A Lambda Calculus Perspective

Description

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

Keywords

ComputersProgramming LanguagesProgramming

2005Book

Author(s)Werner Kluge

PublisherSpringer Science & Business Media

ISBN9783540211464

LanguageEnglish

SpringerLink

Similar Books

Book

The Parametric Lambda Calculus A Metamodel for Computation

Book

Semantics of Probabilistic Computation and Logics Probabilistic Lambda Calculi, Markov Chains, Domain Theory and Probabilistic Reasoning Systems

Book

λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del ... Science, 37) (English and French Edition)

Book

Typed Lambda Calculi and Applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings

Book

Isomorphisms of Types From Lambda-calculus to Information Retrieval and Language Design

Book

Introduction to Languages, Machines and Logic Computable Languages, Abstract Machines and Formal Logic

Book

Typed Lambda Calculi and Applications 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

Book

Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science, 4583)

Book

A Modern Perspective on Type Theory From its Origins until Today

Book

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings