Publication:5412272
From MaRDI portal
zbMath1315.03022MaRDI QIDQ5412272
Sergey P. Baranov, Serguei V. Solov'ev
Publication date: 25 April 2014
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