default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 136
Volume 136, Number 1, 19 December 1994
Part II: Lambda Calculus and Domain Theory
- Peter T. Johnstone:
Variations on the Bagdomain Theme. 3-20 - Reinhold Heckmann:
Stable Power Domains. 21-56 - Adrian Fiech, Michael Huth:
Algebraic Domains of Natural Transformations. 57-78 - Austin Melton, Bernd S. W. Schröder
, George E. Strecker:
Lagois Connections - a Counterpart to Galois Connections. 79-107 - Philip S. Mulry:
Partial Map Classifiers and Partial Cartesian Closed Categories. 109-123 - Eike Ritter:
Categorical Abstract Machines for Higher-Order Typed lambda-Calculi. 125-162 - Edmund Robinson:
Parametricity as Isomorphism. 163-181 - Fairouz Kamareddine, Rob Nederpelt:
A Unified Approach to Type Theory Through a Refined lambda-Calculus. 183-216 - Roy L. Crole:
Computational Adequacy of the FIX-Logic. 217-242 - Bettina Blaaberg, Christian Clausen:
Adequacy for a Lazy Functional Language with Recursive and Polymorphic Types. 243-275 - David A. Wolfram:
A Semantics for lambda-Prolog. 277-289
Volume 136, Number 2, 29 December 1994
- Eric Rémila:
Recognition of Graphs by Automata. 291-332 - Enno Ohlebusch:
On the Modularity of Termination of Term Rewriting Systems. 333-360 - Aldo de Luca, Filippo Mignosi:
Some Combinatorial Properties of Sturmian Words. 361-285 - Houcine Senoussi, Ahmed Saoudi:
A Quadtree Algorithm for Template Matching on a Pyramid Computer. 387-417 - Vladimir Stetsenko:
On Almost Bad Boolean Bases. 419-469 - Masami Ito, Gabriel Thierrin:
Congruences, Infix and Cohesive Prefix Codes. 471-485 - Elvira Mayordomo:
Almost Every Set in Exponential Time is P-bi-Immune. 487-506 - Marek Chrobak, Wojciech Rytter:
Two Results on Linear Embeddings of Complete Binary Trees. 507-526 - Marcos A. Kiwi, René Ndoundam, Maurice Tchuenté, Eric Goles Ch.:
No Polynomial Bound for the Period of the Parallel Chip Firing Game on Graphs. 527-532
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 2024-11-21 20:30 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:
