Books received.
- Published in:
- 1989
- By:
- Publication type:
- Book Review
Works matching IS 00393215 AND DT 1989 AND VI 48 AND IP 3
Results: 9
1
2
A note on natural numbers objects in monoidal categories.
- Published in:
- Studia Logica, 1989, v. 48, n. 3, p. 389, doi. 10.1007/BF00370831
- By:
- Publication type:
- Article
3
A note on russell's paradox in locally cartesian closed categories.
- Published in:
- Studia Logica, 1989, v. 48, n. 3, p. 377, doi. 10.1007/BF00370830
- By:
- Publication type:
- Article
4
Coherence in cartesian closed categories and the generality of proofs.
- Published in:
- Studia Logica, 1989, v. 48, n. 3, p. 285, doi. 10.1007/BF00370826
- By:
- Publication type:
- Article
5
Monoidal categories with natural numbers object.
- Published in:
- Studia Logica, 1989, v. 48, n. 3, p. 361, doi. 10.1007/BF00370829
- By:
- Publication type:
- Article
6
Alpha-conversion, conditions on variables and categorical logic.
- Published in:
- Studia Logica, 1989, v. 48, n. 3, p. 319, doi. 10.1007/BF00370828
- By:
- Publication type:
- Article
7
Categorical and algebraic aspects of Martin-Löf Type Theory.
- Published in:
- Studia Logica, 1989, v. 48, n. 3, p. 299, doi. 10.1007/BF00370827
- By:
- Publication type:
- Article
8
Manufacturing a cartesian closed category with exactly two objects out of a C-monoid.
- Published in:
- Studia Logica, 1989, v. 48, n. 3, p. 279, doi. 10.1007/BF00370825
- By:
- Publication type:
- Article
9
On some connections between logic and category theory.
- Published in:
- Studia Logica, 1989, v. 48, n. 3, p. 269, doi. 10.1007/BF00370824
- By:
- Publication type:
- Article