Subject Reduction in Multi-Universe Type Theories

DOI10.1142/9789811245220_0016MaRDI QIDQ6167166zbMATH OpenOpenAlexFDO

Authors

Publication date 4 August 2023

Published in Mathematics for Computation (M4C) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789811245220_0016

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 1086659
• A note on subject reduction in \((\to, \exists)\)-Curry with respect to complete developments
• scientific article; zbMATH DE number 1950451
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case
• On the Values of Reducibility Candidates

This page was built for publication: Subject Reduction in Multi-Universe Type Theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6167166)