research
∙
05/13/2022
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
We present fully abstract encodings of the call-by-name and call-by-valu...
share
research
∙
04/23/2018
Bisimulations for Delimited-Control Operators
We propose a survey of the behavioral theory of an untyped lambda-calcul...
research
∙
10/31/2017
Proving Soundness of Extensional Normal-Form Bisimilarities
Normal-form bisimilarity is a simple, easy-to-use behavioral equivalence...
research
∙
10/25/2017