Ivan Scagnetto

Available identifiers

zbMath Open scagnetto.ivanMaRDI QIDQ897933

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5090978	2022-07-21	Paper
lambda!-calculus, Intersection Types, and Involutions	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4992397	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	2019-07-04	Paper
Plugging-in proof development environments usingLocksinLF	2018-10-19	Paper
$\mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads	2017-07-13	Paper
Implementing Cantor’s Paradise	2016-12-21	Paper
An open logical framework	2016-04-28	Paper
Mechanizing type environments in weak HOAS	2015-12-08	Paper
L ax F: Side Conditions and External Evidence as Monads	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	2013-07-24	Paper
A Conditional Logical Framework	2009-01-27	Paper
Consistency of the theory of contexts	2006-06-09	Paper
Types for Proofs and Programs	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4535076	2002-06-12	Paper
\(\pi\)-calculus in (Co)inductive-type theory	2000-12-12	Paper

Research outcomes over time

This page was built for person: Ivan Scagnetto