Logic operators and quantifiers in type-theory of algorithms

DOI10.1007/978-3-031-43977-3_11MaRDI QIDQ6560410zbMATH OpenFDO

Authors Roussanka Loukanova

Publication date 21 June 2024

Full work available at URL https://doi.org/10.1007/978-3-031-43977-3_11

zbMATH Keywords

acyclic algorithmsalgorithmic semanticsdenotational semanticslogic operatorsquantifiersrecursionreduction calculustype-theory

Mathematics Subject Classification ID

Type theory (03B38) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Recommendations

• Semantics of propositional attitudes in type-theory of algorithms
• Equational type logic
• scientific article; zbMATH DE number 851066
• Incorporating quotation and evaluation into Church's type theory
• scientific article; zbMATH DE number 559219

Cites work

• A theory of type polymorphism in programming
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Gamma-reduction in type theory of acyclic recursion
• scientific article; zbMATH DE number 3531346 (Why is no real title available?)
• scientific article; zbMATH DE number 510787 (Why is no real title available?)
• scientific article; zbMATH DE number 1163990 (Why is no real title available?)
• LCF considered as a programming language
• The formal language of recursion
• The Mechanical Evaluation of Expressions

Cited in

(1)

• Semantics of propositional attitudes in type-theory of algorithms

This page was built for publication: Logic operators and quantifiers in type-theory of algorithms

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