Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax
Alberto Ciaffaglione, Ivan ScagnettoVolume:
104
Year:
2004
Language:
english
Pages:
14
DOI:
10.1016/j.entcs.2004.09.022
File:
PDF, 249 KB
english, 2004