default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Structures in Computer Science, Volume 7
Volume 7, Number 1, February 1997
- Yuxi Fu:
Categorical Properties of Logical Frameworks. 1-47 - Dusko Pavlovic:
Chu I: Cofree Equivalences, Dualities and *-Autonomous Categories. 49-73 - Thierry Coquand, Peter Dybjer:
Intuitionistic Model Constructions and Normalization Proofs. 75-94
Volume 7, Number 2, April 1997
- Barney P. Hilken, David E. Rydeheard:
A Theory of Classes: Proofs and Models. 95-127 - Benjamin C. Pierce:
Intersection Types and Bounded Polymorphism. 129-193 - Virgil Emil Cazanescu, Grigore Rosu:
Weak Inclusion Systems. 195-206
Volume 7, Number 3, June 1997
- Daniel E. Cohen:
String Rewriting and Homology of Monoids. 207-240 - Gian-Luigi Ferrari
, Ugo Montanari, Miranda Mowbray:
Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations. 241-282 - Marco Forti, Furio Honsell, Marina Lenisa:
An Axiomatization of Partial n-Place Operations. 283-302
Volume 7, Number 4, August 1997
- Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg:
Invariants of Inversive 2-Structures on Groups of Labels. 303-327 - Pawel Urzyczyn:
Type Reconstruction in Fomega. 329-358 - José Meseguer, Ugo Montanari, Vladimiro Sassone:
On the Semantics of Place/Transition Petri Nets. 359-397
Volume 7, Number 5, October 1997
- Abbas Edalat:
When Scott is Weak on the Top. 401-417 - Jirí Adámek:
A Categorical Generalization of Scott Domains. 419-443 - Christian Retoré:
A Semantic Characterisation of the Correctness of a Proof Net. 445-452 - John Power, Edmund Robinson:
Premonoidal Categories and Notions of Computation. 453-468 - John R. Longley, Alex K. Simpson:
A Uniform Approach to Domain Theory in Realizability Models. 469-505 - John Hatcliff, Olivier Danvy:
A Computational Formalization for Partial Evaluation. 507-541 - Jimmie Lawson:
Spaces of Maximal Points. 543-555 - Søren B. Lassen:
Action Semantics Reasoning about Functional Programs. 557-589 - Marcelo P. Fiore:
An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions. 591-618
Volume 7, Number 6, December 1997
- Dusko Pavlovic:
Categorical logic of Names and Abstraction in Action Calculi. 619-637 - Kosta Dosen, Zoran Petric:
Isomorphic Objects in Symmetric Monoidal Closed Categories. 639-662 - Gianluigi Bellin:
Subnets of Proof-Nets in Multiplicative Linear Logic with MIX. 663-699 - Stephen L. Bloom, Zoltán Ésik:
Varieties Generated by Languages with Poset Operations. 701-713
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
