Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax

CIAFFAGLIONE, Alberto

•

MICULAN, Marino

•

LIQUORI Luigi

2003

conference object

DOI

10.1145/976571.976574

Archivio

http://hdl.handle.net/11390/737526

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84947864951

http://dl.acm.org/citation.cfm?id=976574

Diritti

open access

Scopus© citazioni

4

Data di acquisizione
Jun 7, 2022