Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for lambda-calculi

LENISA, Marina

1997

conference object

Periodico

LECTURE NOTES IN COMPUTER SCIENCE

WOS

WOS:A1997BJ62W00016

Archivio

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

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

Diritti

closed access

Visualizzazioni

4

Data di acquisizione
Apr 19, 2024