HOOTS 2000. 4th international workshop on higher order operational techniques in semantics (satellite to PLI 2000), Montreal, Canada, September 22, 2000. Proceedings

zbMATH Open1262.68014MaRDI QIDQ1948370

Author name not available (Why is that?)

Publication date: 3 May 2013

Published in: (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/journal/15710661/41/3

No records found.

This page was built for publication: HOOTS 2000. 4th international workshop on higher order operational techniques in semantics (satellite to PLI 2000), Montreal, Canada, September 22, 2000. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1948370)