Fully-complete PER Model for ML Polymorphic Types

ABRAMSKY S.

•

LENISA, Marina

2000

conference object

Periodico

LECTURE NOTES IN COMPUTER SCIENCE

Archivio

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

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

Diritti

closed access

Visualizzazioni

3

Data di acquisizione
Apr 19, 2024