Subject
General Computer Science,Theoretical Computer Science
Reference41 articles.
1. Gödel's functional (“Dialectica”) interpretation;Avigad,1998
2. Hilbert's ϵ-operator in intuitionistic type theories;Bell;Math. Log. Q.,1993
3. Dialectica interpretations: a categorical analysis;Biering,2008
4. The free exact category on a left exact one;Carboni;J. Aust. Math. Soc.,1982
5. Regular and exact completions;Carboni;J. Pure Appl. Algebra,1998