Alberto Carraro

Available identifiers

Publication	Date of Publication	Type
Un)Decidability for History Preserving True Concurrent Logics.	2023-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q4992394	2021-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q4992395	2021-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q4992396	2021-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q5150151	2021-02-09	Paper
Graph easy sets of mute lambda terms	2016-05-27	Paper
A Causal View on Non-Interference*	2016-05-02	Paper
Non-interference by Unfolding	2014-07-08	Paper
A Semantical and Operational Account of Call-by-Value Solvability	2014-04-16	Paper
Ordered Models of the Lambda Calculus	2014-01-08	Paper
On the equational consistency of order-theoretic models of the lambda-calculus	2012-11-22	Paper
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion	2012-10-22	Paper
Full Abstraction for Resource Calculus with Tests	2012-09-18	Paper
Easy lambda-terms are not always simple	2012-06-04	Paper
Exponentials with Infinite Multiplicities	2010-09-03	Paper
Resource Combinatory Algebras	2010-09-03	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alberto Carraro