Subject Reduction in Multi-Universe Type Theories

DOI10.1142/9789811245220_0016OpenAlexW4362237131MaRDI QIDQ6167166FDOQ6167166

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

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

Mathematics Subject Classification ID

Computer science (68-XX)

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)