Alberto Carraro

MaRDI QIDQ592096zbMATH OpenWikidataFDO

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
Un)Decidability for History Preserving True Concurrent Logics.	2023-08-08	Paper
Minimal \(\lambda\)-theories by ultraproducts	2021-06-08	Paper
Minimal \(\lambda\)-theories by ultraproducts (available as arXiv preprint)	2021-06-08	Paper
The stack calculus	2021-06-08	Paper
The stack calculus (available as arXiv preprint)	2021-06-08	Paper
The untyped stack calculus and Böhm's theorem	2021-06-08	Paper
The untyped stack calculus and Böhm's theorem (available as arXiv preprint)	2021-06-08	Paper
scientific article; zbMATH DE number 7308469 (Why is no real title available?)	2021-02-09	Paper
Graph easy sets of mute lambda terms Theoretical Computer Science	2016-05-27	Paper
A causal view on non-interference Fundamenta Informaticae	2016-05-02	Paper
Non-interference by unfolding Application and Theory of Petri Nets and Concurrency	2014-07-08	Paper
A Semantical and Operational Account of Call-by-Value Solvability Lecture Notes in Computer Science	2014-04-16	Paper
Ordered models of the lambda calculus Logical Methods in Computer Science	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 Logical Methods in Computer Science	2012-10-22	Paper
Full abstraction for resource calculus with tests	2012-09-18	Paper
Full abstraction for resource calculus with tests (available as arXiv preprint)	2012-09-18	Paper
Easy lambda-terms are not always simple RAIRO. Theoretical Informatics and Applications	2012-06-04	Paper
Easy lambda-terms are not always simple RAIRO. Theoretical Informatics and Applications	2012-06-04	Paper
Exponentials with infinite multiplicities Computer Science Logic	2010-09-03	Paper
Resource combinatory algebras Mathematical Foundations of Computer Science 2010	2010-09-03	Paper

Research outcomes over time

This page was built for person: Alberto Carraro