Types and Programming Languages

Bulletin of Symbolic Logic 10 (2):213-214 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1017/s1079898600003954

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Towards situation-oriented programming languages.Erkan Tin, Varol Akman & Murat Ersan - 1995 - ACM SIGPLAN Notices 30 (1):27-36.
Games in the semantics of programming languages – an elementary introduction.Jan Jürjens - 2002 - Synthese 133 (1-2):131-158.
Temporal Phylogenetic Networks and Logic Programming.Vladimir Lifschitz - unknown
Rules in programming languages and networks.Frederick R. Adams, Kenneth Aizawa & Gary Fuller - 1992 - In J. Dinsmore (ed.), The Symbolic and Connectionist Paradigms: Closing the Gap. Lawrence Erlbaum.
Bilattices In Logic Programming.Melvin Fitting - unknown
Information modeling aspects of software development.Timothy R. Colburn - 1998 - Minds and Machines 8 (3):375-393.
Programming Languages as Technical Artifacts.Raymond Turner - 2014 - Philosophy and Technology 27 (3):377-397.
Understanding programming languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.
Domains and lambda-calculi.Roberto M. Amadio - 1998 - New York: Cambridge University Press. Edited by P.-L. Curien.
Type Theory and Homotopy.Steve Awodey - unknown
On the relation between SPARQL1.1 and Answer Set Programming.Axel Polleres & Johannes Peter Wallner - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):159-212.
Symmetry and interactivity in programming.P. -L. Curien - 2003 - Bulletin of Symbolic Logic 9 (2):169-180.
On the unification problem for cartesian closed categories.Paliath Narendran, Frank Pfenning & Richard Statman - 1997 - Journal of Symbolic Logic 62 (2):636-647.
Context in the study of human languages and computer programming languages: A comparison.John H. Connolly - 2001 - In P. Bouquet V. Akman (ed.), Modeling and Using Context. Springer. pp. 116--128.

Analytics

Added to PP
2014-03-21

Downloads
9 (#1,187,161)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references