Applications of type theory

DOI10.1007/3-540-56610-4_75MaRDI QIDQ5044747zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 559219
• Publication:4204148
• scientific article; zbMATH DE number 1302063
• Introduction to generalized type systems
• Do-it-yourself type theory

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3859117 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 46428 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 53088 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3349775 (Why is no real title available?)
• A formulation of the simple theory of types
• A theory of type polymorphism in programming
• Algebras with a Scheme of Operators
• 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
• What is a model of the lambda calculus?

Cited in

(5)

• Semantics and Stratification
• A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
• Abstract Data Types and Type Theory: Theories as Types
• scientific article; zbMATH DE number 1870414 (Why is no real title available?)
• Classical predicative logic-enriched type theories

Describes a project that uses

Uses Software

• ML

This page was built for publication: Applications of type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5044747)