31 citations · 68 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Strong Call-by-Value is Reasonable, Implosively
Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen
Whether the number of beta-steps in the lambda-calculus can be taken as a reasonable time cost model (that is, polynomially related to the one of Turing machines) is a delicate pro…
cs.LO2021
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Claudio Sacerdoti Coen, Alwen Tiu
This volume contains a selection of papers presented at LFMTP 2020, the 15th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held the…