Found: 6
Select item for more details and to access through your institution.
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
The biequivalence of locally cartesian closed categories and Martin-Löf type theories.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 5, p. N.PAG, doi. 10.1017/S0960129513000881
- By:
- Publication type:
- Article
UNDECIDABILITY OF EQUALITY IN THE FREE LOCALLY CARTESIAN CLOSED CATEGORY (EXTENDED VERSION).
- Published in:
- Logical Methods in Computer Science (LMCS), 2017, v. 13, n. 4, p. 1, doi. 10.23638/LMCS-13(4:22)2017
- By:
- Publication type:
- Article
BOUNDING LINEAR HEAD REDUCTION AND VISIBLE INTERACTION THROUGH SKELETONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/LMCS-11(2:6)2015
- By:
- Publication type:
- Article
Striatal Afferents in the Newt Triturus cristatus.
- Published in:
- Brain, Behavior & Evolution, 1990, v. 35, n. 4, p. 212, doi. 10.1159/000115868
- By:
- Publication type:
- Article
Strong functors and interleaving fixpoints in game semantics.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2013, v. 47, n. 1, p. 25, doi. 10.1051/ita/2012028
- By:
- Publication type:
- Article