Axiomatizing Fully Complete Models for ML Polymorphic Types

Abramsky S

•

LENISA, Marina

2000

conference object

Periodico

LECTURE NOTES IN COMPUTER SCIENCE

Archivio

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

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

Diritti

closed access

Visualizzazioni

3

Data di acquisizione
Apr 19, 2024