The conservativity of \textit{many}: split scope and \textit{most}
From MaRDI portal
Publication:1992018
Recommendations
- Advanced modalizing \textit{de dicto} and \textit{de re}
- The \textsc{AllDifferent} constraint with precedences
- Nominal unification with letrec and environment-variables
- Some pitfalls of \textsf{LK}-to-\textsf{LJ} translations and how to avoid them
- Embedding \textit{if and only if}
- Correctness of Copy in Calculi with Letrec
Cites work
Cited in
(2)
This page was built for publication: The conservativity of \textit{many}: split scope and \textit{most}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1992018)