Primitive recursive functional with dependent types

DOI10.1007/3-540-55511-0_6zbMath1518.68063MaRDI QIDQ6116568

Unnamed Author

Publication date: 16 August 2023

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The completeness theorem for typing lambda-terms
• What is a model of the lambda calculus?
• The Principal Type-Scheme of an Object in Combinatory Logic

This page was built for publication: Primitive recursive functional with dependent types