No. Title Author Year
1 A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus Forster, Yannick et al. 2021
2 Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143) Comon, Hubert et al. 2021
3 Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga Kaiser, Jonas et al. 2017
4 Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification Smolka, Gert et al. 2013
Current Page :
Number of result pages: 1
Number of documents: 4

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI