Building continuous webbed models for system F
type: Item
instance of: scholarly article
title: Building continuous webbed models for system F
zbMATH Open document ID: 1079.03017
author: Stefano Berardi
author: Chantal Berline
published in: Theoretical Computer Science
publication date: 2004-08-06T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 2081671
zbMATH Keywords: Lambda-calculus
zbMATH Keywords: Models for polymorphism
zbMATH Keywords: Webbed models
zbMATH Keywords: Continuous semantics
MaRDI profile type: Publication
full work available at URL: j.tcs.2003.11.011
OpenAlex ID: W2035256009
cites work: A full continuous model of polymorphism
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Retractions of dI-domains as a model for Type:Type
cites work: βη-complete models for System F
cites work: Q4513574
cites work: Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle
cites work: From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
cites work: Q3221961
cites work: Q3787462
cites work: Domain theoretic models of polymorphism
cites work: Q4068706
cites work: Q5625124
cites work: The system \({\mathcal F}\) of variable types, fifteen years later
cites work: Universal retractions on \(DI\)-domains
cites work: Q3997016
cites work: Q4274979
cites work: Q3326830
cites work: Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
cites work: The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
cites work: Petri nets, event structures and domains. I
cites work: Q4068054
cites work: Data Types as Lattices
cites work: Q3959414
cites work: Q3024853
cites work: Q5183475
DOI: 10.1016/J.TCS.2003.11.011
Recommended article: Q4513574
Recommended article: Modeling of web conveyance systems for multivariable control
Recommended article: Q3999896
Recommended article: A continuum model of interlocking structural systems
Recommended article: Q5490386
Recommended article: Q5453090
Recommended article: Q5576883
Recommended article: Dynamic cobweb models with conformable fractional derivatives
description: scientific article; zbMATH DE number 2081671