Search results for: Tom Hirschowitz
Lecture Notes in Computer Science > Generative Programming and Component Engineering > Components and Templates > 389-404
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 192-203
Lecture Notes in Computer Science > Programming Languages and Systems > Typing and Modularity > 6-20
Journal of Homotopy and Related Structures > 2014 > 9 > 2 > 273-283
Electronic Notes in Theoretical Computer Science > 2009 > 249 > Complete > 287-305
Electronic Notes in Theoretical Computer Science > 2009 > 241 > Complete > 85-100
Higher-Order and Symbolic Computation > 2009 > 22 > 1 > 3-66