scientific article; zbMATH DE number 1531357
From MaRDI portal
Publication:4513574
zbMath0968.68087MaRDI QIDQ4513574
Stefano Berardi, Chantal Berline
Publication date: 28 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Building continuous webbed models for system F ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models ⋮ A full continuous model of polymorphism
This page was built for publication:
