scientific article; zbMATH DE number 6288831

zbMath1315.03022MaRDI QIDQ5412272

Sergey P. Baranov, Serguei V. Solov'ev

Publication date: 25 April 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

conditionnally reversible computationsextensional and intensional equality in type theory

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Applications of computability and recursion theory (03D80) Combinatory logic and lambda calculus (03B40) Abstract and axiomatic computability and recursion theory (03D75) Foundations, relations to logic and deductive systems (18A15)