Search results for: Andrew M. Pitts
Lecture Notes in Computer Science > Applied Semantics > 378-412
Lecture Notes in Computer Science > Theoretical Aspects of Computer Software > Invited Talk 3 > 219-242
Lecture Notes in Computer Science > Programming Languages and Systems > Typed Functional Programming > 47-61
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Electronic Notes in Theoretical Computer Science > 2015 > 312 > Complete > 19-50
Journal of Automated Reasoning > 2012 > 49 > 2 > 115-140
Electronic Notes in Theoretical Computer Science > 2007 > 172 > Complete > 223-257
Theoretical Computer Science > 2005 > 342 > 1 > 28-55
Theoretical Computer Science > 2004 > 323 > 1-3 > 473-497