scientific article
From MaRDI portal
Publication:3044339
zbMath1059.68020MaRDI QIDQ3044339
Mariangiola Dezani-Ciancaglini, Steffen van Bakel
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2286/22860356.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Intersection types for explicit substitutions ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Cut-elimination in the strict intersection type assignment system is strongly normalizing
This page was built for publication:
