Home

Opzioni

Countable Non-Determinism and the Lambda-Calculus

DI GIANANTONIO, Pietro

•

Honsell F

•

Plotkin G.

1995

journal article

Archivio

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

Diritti

metadata only access

Get Involved!

Source Code
Documentation
Slack Channel

Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da

Impostazioni dei cookie
Informativa sulla privacy
Accordo con l'utente finale
Invia il tuo Feedback