Pages that link to "Item:Q1580653"
From MaRDI portal
The following pages link to On proof terms and embeddings of classical substructural logics (Q1580653):
Displaying 4 items.
- An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus. (Q1853149) (← links)
- Limiting partial combinatory algebras (Q1884934) (← links)
- Embedding from multilattice logic into classical logic and vice versa (Q3133174) (← links)
- On the restricted equivalence for subclasses of propositional logic (Q3142267) (← links)