A Type Theory with Mixed Constructivity and Assignments
From MaRDI portal
Publication:4340540
DOI10.1093/JIGPAL/5.3.1-DzbMATH Open0871.03018OpenAlexW2022470740MaRDI QIDQ4340540
Author name not available (Why is that?)
Publication date: 14 September 1997
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/5.3.1-d
No records found.
No records found.
This page was built for publication: A Type Theory with Mixed Constructivity and Assignments
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4340540)
