scientific article; zbMATH DE number 1231517

zbMath0909.68115MaRDI QIDQ4222829

Jean-Yves Girard

Publication date: 13 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#girard2

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Banach spacesdenotational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Normal functors, power series and \(\lambda\)-calculus
• Linear Läuchli semantics
• Data Types as Lattices
• The shuffle Hopf algebra and noncommutative full completeness

This page was built for publication: