scientific article; zbMATH DE number 1531357

zbMATH Open0968.68087MaRDI QIDQ4513574FDOQ4513574

Chantal Berline, Stefano Berardi

Publication date: 28 February 2001

Title of this publication is not available (Why is that?)

zbMATH Keywords

Girard polymorphismReynolds polymorphism

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Cited In (3)

• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• Building continuous webbed models for system F
• A full continuous model of polymorphism

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4513574)