A fine-grained computational interpretation of Girard’s intuitionistic proof-nets
Article in Proceedings of the ACM on Programming Languages (January 2022)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Article in Proceedings of the ACM on Programming Languages (January 2022)
Book chapter (January 1996)
Book chapter (January 1995)