scientific article; zbMATH DE number 559219

MaRDI QIDQ4289277zbMATH OpenFDO

Authors Thierry Coquand, Bengt Nordström, Jan Smith, Björn von Sydow

Publication date 24 May 1994

zbMATH Keywords

ALFproofs and programstype theory

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1215502
• Do-it-yourself type theory
• scientific article; zbMATH DE number 50149
• scientific article; zbMATH DE number 2077110
• scientific article; zbMATH DE number 4096759

Cited in

(39)

• Derivation of a parsing algorithm in Martin-Löf's theory of types
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Proof-search in type-theoretic languages: An introduction
• A type-theoretic approach to program development
• ATS/LF: A type system for constructing proofs as total functional programs
• scientific article; zbMATH DE number 3866573 (Why is no real title available?)
• Towards a theory of document structure
• Abstract Data Types and Type Theory: Theories as Types
• Per Martin-Löf's type theory for automated program writing
• Fundamentals of coding type problems
• A While-rule in Martin-Lof's Theory of Types
• scientific article; zbMATH DE number 4090764 (Why is no real title available?)
• scientific article; zbMATH DE number 4096759 (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 65526 (Why is no real title available?)
• scientific article; zbMATH DE number 140008 (Why is no real title available?)
• scientific article; zbMATH DE number 4123726 (Why is no real title available?)
• scientific article; zbMATH DE number 1215502 (Why is no real title available?)
• scientific article; zbMATH DE number 1342247 (Why is no real title available?)
• scientific article; zbMATH DE number 709368 (Why is no real title available?)
• scientific article; zbMATH DE number 1953279 (Why is no real title available?)
• TinkerType: a language for playing with formal systems
• scientific article; zbMATH DE number 2077110 (Why is no real title available?)
• Optimized encodings of fragments of type theory in first order logic
• Type inference in mathematics
• Applications of type theory
• Type theory as a foundation for computer science
• Introduction to Type Theory
• Axiomatization of typed first-order logic
• Tutorial on Subtype Marks
• Type theory and proof processing systems
• Types for Proofs and Programs
• The practice of logical frameworks
• Primitive recursion for higher-order abstract syntax
• Logic operators and quantifiers in type-theory of algorithms
• Fix your types
• Do-it-yourself type theory
• The seven virtues of simple type theory

This page was built for publication:

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