Applications of type theory

DOI10.1007/3-540-56610-4_75zbMATH Open1497.68118OpenAlexW1548945680MaRDI QIDQ5044747FDOQ5044747

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

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

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)

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• Abstract Data Types and Type Theory: Theories as Types
• Semantics and Stratification
• Classical predicative logic-enriched type theories
• A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development

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)