Applications of type theory

DOI10.1007/3-540-56610-4_75zbMath1497.68118OpenAlexW1548945680MaRDI QIDQ5044747

Bernd Mahr

Publication date: 2 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56610-4_75

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40) Type theory (03B38)

Related Items

A decade of TAPSOFT

Uses Software

• ML

Cites Work

• Combinatory logic. With two sections by William Craig.
• Foundations of set theory. With the collab. of Dirk van Dalen. 2nd rev. ed. Reprint
• The calculus of constructions
• A theory of type polymorphism in programming
• What is a model of the lambda calculus?
• Algebras with a Scheme of Operators
• A formulation of the simple theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Applications of type theory