scientific article
From MaRDI portal
Publication:2778819
zbMath0981.68024MaRDI QIDQ2778819
Dan Dougherty, Pierre Lescanne
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440121
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Intersection types for explicit substitutions ⋮ Cut-elimination in the strict intersection type assignment system is strongly normalizing ⋮ Reducibility
This page was built for publication:
