Publication:5412272

From MaRDI portal

Revision as of 03:11, 9 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

zbMath1315.03022MaRDI QIDQ5412272

Sergey P. Baranov, Serguei V. Solov'ev

Publication date: 25 April 2014

zbMATH Keywords

conditionnally reversible computations; extensional and intensional equality in type theory

Mathematics Subject Classification ID

18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)

03D80: Applications of computability and recursion theory

03B40: Combinatory logic and lambda calculus

03D75: Abstract and axiomatic computability and recursion theory

18A15: Foundations, relations to logic and deductive systems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5412272&oldid=20156414"