Daniel Lima Ventura

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
A subexponential view of domains in session types	2025-01-13	Paper
Node Replication: Theory And Practice Logical Methods in Computer Science	2024-03-11	Paper
scientific article; zbMATH DE number 7756108 (Why is no real title available?) (available as arXiv preprint)	2023-10-27	Paper
Quantitative weak linearisation Lecture Notes in Computer Science	2023-07-28	Paper
The spirit of node replication	2021-10-18	Paper
Explicit substitution calculi with de Bruijn indices and intersection type systems Logic Journal of the IGPL	2019-01-08	Paper
Non-idempotent intersection types for the lambda-calculus Logic Journal of the IGPL	2019-01-08	Paper
A resource aware semantics for a focused intuitionistic calculus Mathematical Structures in Computer Science	2018-12-04	Paper
Nominal essential intersection types Theoretical Computer Science	2018-06-18	Paper
Strong normalization through intersection types and memory	2018-04-23	Paper
A resource aware computational interpretation for Herbelin's syntax Theoretical Aspects of Computing - ICTAC 2015	2016-02-25	Paper
Automath type inclusion in Barendregt's cube Lecture Notes in Computer Science	2015-10-20	Paper
Quantitative types for the linear substitution calculus Lecture Notes in Computer Science	2014-09-15	Paper
Intersection type system with de Bruijn indices	2011-03-30	Paper
Intersection type systems and explicit substitutions calculi Logic, Language, Information and Computation	2010-09-29	Paper
Explicit substitutions calculi with one step eta-reduction decided explicitly Logic Journal of the IGPL	2009-12-18	Paper
Principal Typings for Explicit Substitutions Calculi Logic and Theory of Algorithms	2008-06-19	Paper

Research outcomes over time

This page was built for person: Daniel Lima Ventura