25 citations · 28 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2019
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Dale Miller, Ivan Scagnetto
This volume contains a selection of papers presented at LFMTP 2019, the 14th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on J…
cs.LO2018
Lambda-calculus and Reversible Automatic Combinators
Alberto Ciaffaglione, Furio Honsell, Marina Lenisa +1
In 2005, Abramsky introduced various linear/affine combinatory algebras of partial involutions over a suitable formal language, to discuss reversible computation in a game-theoreti…
cs.LO2013★ 3 cited
A weak HOAS approach to the POPLmark Challenge
Alberto Ciaffaglione, Ivan Scagnetto
Capitalizing on previous encodings and formal developments about nominal calculi and type systems, we propose a weak Higher-Order Abstract Syntax formalization of the type language…