Daniel Lima Ventura

Available identifiers

Publication	Date of Publication	Type
A subexponential view of domains in session types	2025-01-13	Paper
Node Replication: Theory And Practice	2024-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q6079229	2023-10-27	Paper
Quantitative weak linearisation	2023-07-28	Paper
The spirit of node replication	2021-10-18	Paper
Explicit substitution calculi with de Bruijn indices and intersection type systems	2019-01-08	Paper
Non-idempotent intersection types for the lambda-calculus	2019-01-08	Paper
A resource aware semantics for a focused intuitionistic calculus	2018-12-04	Paper
Nominal essential intersection types	2018-06-18	Paper
Strong normalization through intersection types and memory	2018-04-23	Paper
A resource aware computational interpretation for Herbelin's syntax	2016-02-25	Paper
Automath type inclusion in Barendregt's cube	2015-10-20	Paper
Quantitative types for the linear substitution calculus	2014-09-15	Paper
Intersection type system with de Bruijn indices	2011-03-30	Paper
Intersection type systems and explicit substitutions calculi	2010-09-29	Paper
Explicit substitutions calculi with one step eta-reduction decided explicitly	2009-12-18	Paper
Principal Typings for Explicit Substitutions Calculi	2008-06-19	Paper

This page was built for person: Daniel Lima Ventura