Do-it-yourself type theory
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4143955 (Why is no real title available?)
- scientific article; zbMATH DE number 3910392 (Why is no real title available?)
- scientific article; zbMATH DE number 3928338 (Why is no real title available?)
- scientific article; zbMATH DE number 3928956 (Why is no real title available?)
- scientific article; zbMATH DE number 3938546 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 3982493 (Why is no real title available?)
- scientific article; zbMATH DE number 3702108 (Why is no real title available?)
- scientific article; zbMATH DE number 3740740 (Why is no real title available?)
- scientific article; zbMATH DE number 3748394 (Why is no real title available?)
- scientific article; zbMATH DE number 50149 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- scientific article; zbMATH DE number 3630747 (Why is no real title available?)
- scientific article; zbMATH DE number 3894466 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- A framework for defining logics
- A natural extension of natural deduction
- A theory of type polymorphism in programming
- Basic concepts for a theory of evaluation: Hierarchical aggregation via autodistributive connectives in fuzzy set theory
- Combinatory logic. With two sections by William Craig.
- Constructing recursion operators in intuitionistic type theory
- Constructive mathematics and computer programming
- Derivation of a parsing algorithm in Martin-Löf's theory of types
- Fast Pattern Matching in Strings
- Finding repeated elements
- Predicative programming Part I
- Proof of correctness of data representations
- Representing inductively defined sets by wellorderings in Martin-Löf's type theory
- Terminating general recursion
- Type theory and concurrency
- Writing programs that construct proofs
Cited in
(33)- In the Search of a Naive Type Theory
- Applications of type theory
- Constructing type systems over an operational semantics
- Semantics of under-determined expressions
- Tychonoff's theorem in the framework of formal topologies
- Intuitionistic completeness of first-order logic
- Proof theory and computer programming
- scientific article; zbMATH DE number 4096759 (Why is no real title available?)
- scientific article; zbMATH DE number 3854400 (Why is no real title available?)
- A cartesian closed category in Martin-Löf's intuitionistic type theory
- An intuitionistic theory of types with assumptions of high-arity variables
- Inductive families
- Program specification and data refinement in type theory
- Abstract Data Types and Type Theory: Theories as Types
- Per Martin-Löf's type theory for automated program writing
- Propositions and specifications of programs in Martin-Löf's type theory
- scientific article; zbMATH DE number 3866573 (Why is no real title available?)
- scientific article; zbMATH DE number 1678369 (Why is no real title available?)
- Derivation of a parsing algorithm in Martin-Löf's theory of types
- Constructing a theory of a data structure as an aid to program development
- Martin-Löf's type theory as an open-ended framework
- scientific article; zbMATH DE number 3881865 (Why is no real title available?)
- Normalising the associative law: An experiment with Martin-Löf's type theory
- Eta-rules in Martin-Löf type theory
- Native type theory
- Paramorphisms
- A While-rule in Martin-Lof's Theory of Types
- Formalizing type operations using the ``image type constructor
- Type theory as a foundation for computer science
- scientific article; zbMATH DE number 4096760 (Why is no real title available?)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
- Constructing recursion operators in intuitionistic type theory
- Type theory should eat itself
This page was built for publication: Do-it-yourself type theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q911744)
