Models of Sharing Graphs : a Categorical Semantics of let and letrec /
| Main Author: | Hasegawa, Masahito |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1999.
|
| Series: | Distinguished dissertations.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Radon and Projection Transform-Based Computer Vision : Algorithms, A Pipeline Architecture, and Industrial Applications /
by: Sanz, Jorge L. C.
Published: (1988)
by: Sanz, Jorge L. C.
Published: (1988)
Parsing Theory : Volume I Languages and Parsing /
by: Sippu, Seppo
Published: (1988)
by: Sippu, Seppo
Published: (1988)
Parallel Processing and Parallel Algorithms : Theory and Computation /
by: Roosta, Seyed H.
Published: (2000)
by: Roosta, Seyed H.
Published: (2000)
Exploring RANDOMNESS /
by: Chaitin, Gregory J.
Published: (2001)
by: Chaitin, Gregory J.
Published: (2001)
The Design and Analysis of Algorithms /
by: Kozen, Dexter C.
Published: (1992)
by: Kozen, Dexter C.
Published: (1992)
Selected Writings on Computing: A personal Perspective /
by: Dijkstra, Edsger W.
Published: (1982)
by: Dijkstra, Edsger W.
Published: (1982)
Computability and Complexity Theory /
by: Homer, S. (Steven)
Published: (2001)
by: Homer, S. (Steven)
Published: (2001)
The Book of L /
by: Rozenberg, G.
Published: (1986)
by: Rozenberg, G.
Published: (1986)
SWAT '88 : 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings /
by: Karlsson, Rolf
Published: (1988)
by: Karlsson, Rolf
Published: (1988)
Practical Use of Mathcad® : Solving Mathematical Problems with a Computer Algebra System /
by: Benker, Hans
Published: (1999)
by: Benker, Hans
Published: (1999)
Lattice Functions and Equations /
by: Rudeanu, Sergiu
Published: (2001)
by: Rudeanu, Sergiu
Published: (2001)
The Graph Isomorphism Problem : Its Structural Complexity /
by: Köbler, Johannes
Published: (1993)
by: Köbler, Johannes
Published: (1993)
Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion /
by: Breugel, Franck
Published: (1996)
by: Breugel, Franck
Published: (1996)
Search and Planning Under Incomplete Information : a Study Using Bridge Card Play /
by: Frank, Ian
Published: (1998)
by: Frank, Ian
Published: (1998)
Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1991)
by: Apt, Krzysztof R.
Published: (1991)
Data Structures and Algorithms: A First Course /
by: Adamson, Iain T.
Published: (1996)
by: Adamson, Iain T.
Published: (1996)
An Introduction to Data Structures and Algorithms /
by: Storer, James A.
Published: (2002)
by: Storer, James A.
Published: (2002)
Data Structures and Algorithms 3 : Multi-dimensional Searching and Computational Geometry /
by: Mehlhorn, Kurt
Published: (1984)
by: Mehlhorn, Kurt
Published: (1984)
Algorithm Synthesis: A Comparative Study /
by: Steier, D. M.
Published: (1989)
by: Steier, D. M.
Published: (1989)
Algorithms and Model Formulations in Mathematical Programming /
by: Wallace, Stein W.
Published: (1989)
by: Wallace, Stein W.
Published: (1989)
Data Structures and Algorithms 2 : Graph Algorithms and NP-Completeness /
by: Mehlhorn, Kurt
Published: (1984)
by: Mehlhorn, Kurt
Published: (1984)
Complexity Theory Retrospective : In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988 /
by: Selman, Alan L.
Published: (1990)
by: Selman, Alan L.
Published: (1990)
Soft-ware 2002 : computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002 : proceedings /
Published: (2002)
Published: (2002)
MuPAD Pro Computing Essentials /
by: Majewski, Miroslaw
Published: (2002)
by: Majewski, Miroslaw
Published: (2002)
MuPAD Pro Computing Essentials /
by: Majewski, Miroslaw
Published: (2004)
by: Majewski, Miroslaw
Published: (2004)
Algorithms on Trees and Graphs /
by: Valiente, Gabriel
Published: (2002)
by: Valiente, Gabriel
Published: (2002)
Mathematical Foundations of Programming Semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings /
by: Main, Michael G.
Published: (1990)
by: Main, Michael G.
Published: (1990)
Fast Algorithms for 3D-Graphics /
by: Glaeser, Georg
Published: (1994)
by: Glaeser, Georg
Published: (1994)
Computational Geometry and its Applications : CG '88 International Workshop on Computational Geometry Würzburg, FRG, March 24-25, 1988. Proceedings /
by: Noltemeier, Hartmut
Published: (1988)
by: Noltemeier, Hartmut
Published: (1988)
SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : proceedings /
Published: (1995)
Published: (1995)
Programming for Software Sharing /
by: Muxworthy, D. T.
Published: (1983)
by: Muxworthy, D. T.
Published: (1983)
Sequences and their Applications : Proceedings of SETA '98 /
by: Ding, C.
Published: (1999)
by: Ding, C.
Published: (1999)
Algorithms in Combinatorial Geometry /
by: Edelsbrunner, Herbert
Published: (1987)
by: Edelsbrunner, Herbert
Published: (1987)
Information Dynamics : Foundations and Applications /
by: Deco, Gustavo
Published: (2001)
by: Deco, Gustavo
Published: (2001)
CAAP'86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings /
by: Franchi-Zannettacci, P. (Paul)
Published: (1986)
by: Franchi-Zannettacci, P. (Paul)
Published: (1986)
Lectures on the Complexity of Bilinear Problems /
by: Groote, Hans F. de
Published: (1987)
by: Groote, Hans F. de
Published: (1987)
Kolmogorov Complexity and Computational Complexity /
by: Watanabe, Osamu
Published: (1992)
by: Watanabe, Osamu
Published: (1992)
Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings /
by: Budach, L. (Lothar), 1935-
Published: (1987)
by: Budach, L. (Lothar), 1935-
Published: (1987)
STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986 /
by: Monien, B.
Published: (1986)
by: Monien, B.
Published: (1986)
Computability /
by: Weihrauch, Klaus
Published: (1987)
by: Weihrauch, Klaus
Published: (1987)