| |
Typed Lambda Calculi and Applications (1999), pp. 643-643.
|
| |
In Annals of Pure and Applied Logic, Vol. 124 (2000)
|
| |
|
| |
In CATS '07: Proceedings of the thirteenth Australasian symposium on Theory of computing (2007), pp. 111-121.
|
| |
Proof Theory in Computer Science (2001), pp. 93-113.
|
| |
Signal Processing Magazine, IEEE In Signal Processing Magazine, IEEE, Vol. 26, No. 3. (2009), pp. 37-47.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 161 (31 August 2006), pp. 59-71.
|
| |
In Mathematically Structured Functional Programming (2006)
|
| |
|
| |
J. Funct. Program., Vol. 19, No. 1. (2009), pp. 1-16.
|
| |
SIGMOD Rec., Vol. 23, No. 1. (1994), pp. 87-96.
|
| |
|
| |
Typed Lambda Calculi and Applications (2001), pp. 166-181.
|
| |
|
| |
Computer Science Logic (2009), pp. 825-825.
|
| |
Annals of Pure and Applied Logic, Vol. 137, No. 1-3. (January 2006), pp. 299-316.
|
| |
Journal of Automated Reasoning, Vol. 27, No. 1. (1 July 2001), pp. 3-27.
|
| |
In TPHOLs '02: Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics (2002), pp. 115-130.
|
| |
In TAPSOFT '89: 2nd international joint conference on Theory and practice of software development (1991), pp. 107-136.
|
| |
Central European Functional Programming School (2006), pp. 135-167.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (2008), pp. 263-284.
|
| |
|
| |
Theorem Proving in Higher Order Logics (2009), pp. 73-78.
|
| |
Language Engineering and Rigorous Software Development (2009), pp. 57-99.
|
| |
Applied Semantics (2002), pp. 7-74.
|
| |
Logical Methods in Computer Science, Vol. 2, No. 2. (17 Mar 2006)
|
| |
Applied Semantics (2002), pp. 75-114.
|
| |
|
| |
|
| |
In CADE Workshop on Proof-search in Type-theoretic Languages (1998), pp. 93-106.
|
| |
Theoretical Computer Science, Vol. 212, No. 1-2. (06 February 1999), pp. 141-155.
|
| |
Computer Science Logic (2006), pp. 441-455.
|
| |
|
| |
Abstract Software Specifications (1980), pp. 504-526.
|
| |
Theoretical Computer Science (1981), pp. 167-183.
|
| |
In in Proceedings of the United Kingdom UNIX User Group Summer Proceedings (1993), pp. 11-19.
|
| |
|
| |
Functional and Logic Programming (2008), pp. 97-112.
|
| |
Mathematics of Program Construction (2004), pp. 2-15.
|
| |
Typed Lambda Calculi and Applications (2003), pp. 1086-1086.
|
| |
Theoretical Computer Science, Vol. 342, No. 1. (06 September 2005), pp. 3-27.
|
| |
In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (1999), pp. 70-81.
|
| |
|
| |
Reprints in Theory and Applications of Categories, No. 12. (2005), pp. 1-287.
|
| |
|
| |
|
| |
In Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics (1992)
|
| |
In ASPLOS '09: Proceeding of the 14th international conference on Architectural support for programming languages and operating systems (2009), pp. 265-276.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2009), pp. 165-176.
|
| |
J. Funct. Program., Vol. 9, No. 4. (July 1999), pp. 355-372.
|
CiteULike
pedagand's CiteULike
Search
