Author:
Altenkirch T.,Dybjer P.,Hofmann M.,Scott P.
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Maximally Multi-focused Proofs for Skew Non-Commutative MILL;Logic, Language, Information, and Computation;2023
2. Semantic analysis of normalisation by evaluation for typed lambda calculus;Mathematical Structures in Computer Science;2022-09
3. Normalization for fitch-style modal calculi;Proceedings of the ACM on Programming Languages;2022-08-29
4. Normalization by Evaluation for the Lambek Calculus;Electronic Proceedings in Theoretical Computer Science;2022-04-14
5. Practical normalization by evaluation for EDSLs;Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell;2021-08-18