Works matching IS 09601295 AND DT 2014 AND VI 24 AND IP 6
Results: 6
Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 6, p. 00, doi. 10.1017/S0960129513000455
- By:
- Publication type:
- Article
The biequivalence of locally cartesian closed categories and Martin-Löf type theories.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 6, p. 00, doi. 10.1017/S0960129513000881
- By:
- Publication type:
- Article
Rigidity is undecidable.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 6, p. 00, doi. 10.1017/S096012951300087X
- By:
- Publication type:
- Article
Theories of analytic monads.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 6, p. 00, doi. 10.1017/S0960129513000868
- By:
- Publication type:
- Article
Realizability interpretation of PA by iterated limiting PCA.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 6, p. 00, doi. 10.1017/S0960129513000856
- By:
- Publication type:
- Article
Database queries and constraints via lifting problems.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 6, p. 00, doi. 10.1017/S0960129513000479
- By:
- Publication type:
- Article