Geometric Theories and Databases (1992)

Cached

Download Links

by Steven Vickers
Venue:APPLICATIONS OF CATEGORIES IN COMPUTER SCIENCE, VOLUME 177 OF LONDON MATHEMATICAL SOCIETY LECTURE NOTES
Citations:19 - 4 self

Active Bibliography

458 Domain Theory – Samson Abramsky, Achim Jung - 1994
229 Domain Theory in Logical Form – Samson Abramsky - 1991
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
88 Categorical Logic – Andrew M. Pitts - 1995
96 Semantical analysis of higher-order abstract syntax – Martin Hofmann
21 Solving Recursive Domain Equations with Enriched Categories – Kim Ritter Wagner, Stephen Brookes, John C. Reynolds - 1994
Contents – Thomas Streicher - 1997
55 The Lazy Lambda Calculus in a Concurrency Scenario (Extended Abstract) – Davide Sangiorgi - 1994
47 PCF extended with real numbers – Martín Hötzel Escardó - 1996