Publication:5412272

zbMath1315.03022MaRDI QIDQ5412272

Serguei V. Solov'ev, Sergey P. Baranov

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