scientific article; zbMATH DE number 2209828
From MaRDI portal
Publication:5692805
Recommendations
Cited in
(5)- Equivalences between pure type systems and systems of illative combinatory logic
- Compositional conceptualization in intentional logics
- scientific article; zbMATH DE number 4143942 (Why is no real title available?)
- scientific article; zbMATH DE number 851066 (Why is no real title available?)
- scientific article; zbMATH DE number 45491 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5692805)