Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion

PARTOUT · Unité propre · Palaiseau · Île-de-France

Tutelles : Centre national de la recherche scientifique, Institut national de la recherche en informatique et automatique, Institut polytechnique de Paris

Disciplines : informatique, ingenierie

Site du laboratoire →

📚 157 publications sur HAL open science →

Publications récentes (HAL)

The Vanilla Sequent Calculus is Call-by-Value
Reasonable Space for the λ-Calculus, Logarithmically
Factorize Factorization

Source : MESRI ScanR / HAL (Etalab 2.0) · Données HAL (CC0)