| |
|
| |
In Computer Science Logic: 11th International Workshop Proceedings (1998)
|
| |
In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1992), pp. 328-342.
|
| |
No. MIT/LCS/TR-524. (1991)
|
| |
In Proceedings 11th Annual IEEE Symp.\ on Logic in Computer Science, {LICS}'96, New Brunswick, {NJ}, {USA}, 27--30 July 1996 (1996), pp. 230-241.
|
| |
In Handbook of Logic in Computer Science, Vol 4 (1995), pp. 269-356.
|
| |
Theoretical Computer Science, Vol. 221, No. 1--2. (1999), pp. 393-456.
|
| |
|
| |
|
| |
Workshop on Revival of Dynamic Languages (2005)
|
| |
Higher-Order and Symbolic Computation, Vol. 12, No. 3. (1999), pp. 221-236.
|
| |
|
| |
In Partial Evaluation and Semantic-Based Program Manipulation (1999), pp. 13-18.
|
| |
|
| |
In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151.
|
| |
In LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming (1982), pp. 216-225.
|
| |
In Advanced Functional Programming (1995), pp. 97-136.
|
| |
In Proceedings 9th Int.\ Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, 7--14 Aug 1991, Vol. 134 (1994), pp. 555-570.
|
| |
posted to types by ds
on 2007-08-08 11:28:55
as 
|
| |
In Handbook of Logic in Computer Science, Volume 3: Semantic Structures (1994), pp. 395-475.
|
| |
Information and Computation, Vol. 118, No. 1. (1995), pp. 128-141.
posted to semantic by ds
on 2007-08-07 20:59:44
as
|
| |
|
| |
SIGPLAN Notices In Proceedings of the ACM {SIGPLAN}'84 Symposium on Compiler Con struction, Vol. 19, No. 6. (June 1984), pp. 58-69.
|
| |
|
| |
Bulletin of Symbolic Logic, Vol. 3, No. 3. (1997), pp. 181-215.
|
| |
In Handbook of Automated Reasoning (2001), pp. 1149-1238.
|
| |
In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies (1994), pp. 229-321.
|
| |
|
| |
In Formal Description of Programming Concepts (1991), pp. 431-507.
|
| |
|
| |
|
| |
In Functional Programming Languages in Education (1995), pp. 251-267.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 174-185.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 19, No. 2. (March 1997), pp. 223-238.
|
| |
Annals of Pure and Applied Logic, Vol. 84, No. 2. (1997), pp. 175-217.
|
| |
Journal of Philosophical Logic, Vol. 24, No. 1. (1975), pp. 1-17.
|
| |
posted to logic by ds
on 2007-07-25 14:12:16
as
|
| |
The Bulletin of Symbolic Logic, Vol. 2, No. 1. (1996), pp. 1-71.
|
| |
|
| |
Bulletin of the IGPL, Vol. 2, No. 1. (1994), pp. 77-107.
|
| |
Annals of Pure and Applied Logic, Vol. 98, No. 1-3. (1999), pp. 111-156.
|
| |
|
| |
In Advances in Linear Logic (1995), pp. 225-247.
|
| |
|
| |
In Proceedings ACM {SIGPLAN} 1993 Conf.\ on Programming Language Design and Implementation, {PLDI}'93, Albuquerque, {NM}, {USA}, 23--25 June 1993, Vol. 28(6) (1993), pp. 237-247.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science In Workshop on Domains IV, Vol. 35 (2000), pp. 230-243.
posted to semantic by ds
on 2007-07-19 14:58:56
as
|
| |
SIAM J. Comput., Vol. 25, No. 1. (1996), pp. 117-132.
|
| |
|
| |
|
Search
