Projects per year
Projects
- 1 Finished
Search results
-
Finished
Typed Lambda-Calculi with Sharing and Unsharing
Heijltjes, W. (PI)
1/01/19 → 30/07/22
Project: Research council
Normalization Without Syntax
- Willem Heijltjes
- , Dominic Hughes
- , Lutz Strassburger
- INRIA Saclay
Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
85
Downloads
(Pure)