HOOTS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 3 from 3

2000

4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000Alan Jeffrey, editor, Volume 41 of Electronic Notes in Theoretical Computer Science, Elsevier, 2000. [doi]

1999

Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999Andrew D. Gordon 0001, Andrew M. Pitts, editors, Volume 26 of Electronic Notes in Theoretical Computer Science, Elsevier, 1999. [doi]

1997

Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997Andrew D. Gordon 0001, Andrew M. Pitts, Carolyn L. Talcott, editors, Volume 10 of Electronic Notes in Theoretical Computer Science, Elsevier, 1997. [doi]

Sign in or sign up to see more results.

runs on WebDSL