Types for proofs and programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers

v1

Type:Journal Article

0 views

[![NobleID](https://www.nobleid.org/api/badge/F03B4DF7.svg?ark=w1%2F20260515%2FF03B4DF7)](https://nobleid.org/work/w1/20260515/F03B4DF7)

ARK Inflections

Bibliometric Analysis

Impact metrics, research fronts, co-authorship networks →

Authors & Claims

Paper Authors