
Strong CallbyValue is Reasonable, Implosively
Whether the number of betasteps in the lambdacalculus can be taken as ...
read it

Proceedings Fifteenth Workshop on Logical Frameworks and MetaLanguages: Theory and Practice
This volume contains a selection of papers presented at LFMTP 2020, the ...
read it

PreProceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)
This volume constitutes the preproceedings of the 28th International Wo...
read it

Sharing Equality is Linear
The λcalculus is a handy formalism to specify the evaluation of higher...
read it

Crumbling Abstract Machines
Extending the lambdacalculus with a construct for sharing, such as let ...
read it

A BiDirectional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
The paper describes the refinement algorithm for the Calculus of (Co)Ind...
read it
Claudio Sacerdoti Coen
is this you? claim profile