Logo del repository
  1. Home
 
Opzioni

Lambda calcolo

Dezani-Ciancaglini, Mariangiola; Venneri, Betti
2017
  • Controlled Vocabulary...

Periodico
APhEx
Abstract
The purpose of this essay is to provide an informal introduction to lambda calculus with glimpses upon some of the many influences it has had on the recent development of computer science. Our desire is to awaken the curiosity of the reader towards the insights which, in the best case, could lead to the undertaking of further research  in a field still ripe with unexplored possibilities. Lo scopo di questo tema è quello di fornire un'introduzione informale al lambda calcolo con squarci su alcune delle molte influenze che esso ha avuto nello sviluppo recente dell'informatica. Il desiderio è quello di sollecitare la curiosità del lettore verso approfondimenti che, nel migliore dei casi, potrebbero portarlo a svolgere ricerche in un campo ancora ricco di possibilità inesplorate.
Archivio
http://hdl.handle.net/10077/30140
Diritti
open access
Soggetti
  • Lambda calculus

  • Type theory

  • Foundations of progra...

  • Lambda calcolo

  • Teoria dei tipi

  • Fondamenti dei lingua...

Visualizzazioni
3
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
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 4Science

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