Ivan Scagnetto

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7561342 (Why is no real title available?) (available as arXiv preprint)	2022-07-21	Paper
lambda!-calculus, Intersection Types, and Involutions	2022-07-18	Paper
A weak HOAS approach to the POPLmark challenge	2021-06-08	Paper
A weak HOAS approach to the POPLmark challenge (available as arXiv preprint)	2021-06-08	Paper
LF+ in Coq for "fast and loose" reasoning	2020-01-21	Paper
The involutions-as-principal types/application-as-unification analogy EPiC Series in Computing	2019-07-04	Paper
Plugging-in proof development environments using \textit{locks} in \(\mathsf{LF}\) Mathematical Structures in Computer Science	2018-10-19	Paper
\(\mathsf{LLF}_{\mathcal{P}}\): a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads (available as arXiv preprint)	2017-07-13	Paper
Implementing Cantor's paradise Programming Languages and Systems	2016-12-21	Paper
An open logical framework Journal of Logic and Computation	2016-04-28	Paper
Mechanizing type environments in weak HOAS Theoretical Computer Science	2015-12-08	Paper
L ax F: Side Conditions and External Evidence as Monads Mathematical Foundations of Computer Science 2014	2014-10-14	Paper
Plug and play the theory of contexts in higher-order abstract syntax	2013-09-11	Paper
Ambient calculus and its logic in the calculus of inductive constructions	2013-08-19	Paper
The theory of contexts for first order and higher order abstract syntax Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
A Conditional Logical Framework Logic for Programming, Artificial Intelligence, and Reasoning	2009-01-27	Paper
Consistency of the theory of contexts Journal of Functional Programming	2006-06-09	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2005-12-23	Paper
scientific article; zbMATH DE number 1754648 (Why is no real title available?)	2002-06-12	Paper
\(\pi\)-calculus in (Co)inductive-type theory Theoretical Computer Science	2000-12-12	Paper

Research outcomes over time

This page was built for person: Ivan Scagnetto