scientific article; zbMATH DE number 1231581

zbMath0911.68131MaRDI QIDQ4222900

Vaughan R. Pratt

Publication date: 20 December 1998

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

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

zbMATH Keywords

dinaturality semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

Chu spaces as a semantic bridge between linear logic and mathematics. ⋮ Chu spaces from the representational viewpoint

This page was built for publication: