IRIS

Intrigila, B., Statman, R. (2018). Fixed points in lambda calculus. An eccentric survey of problems and solutions. INDAGATIONES MATHEMATICAE, 29(1), 450-458 [10.1016/j.indag.2017.06.003].

Fixed points in lambda calculus. An eccentric survey of problems and solutions

Intrigila B.;
2018-01-01
2018
Pubblicato
Rilevanza internazionale
Articolo
Esperti anonimi
Settore INF/01 - INFORMATICA
English
Con Impact Factor ISI
Intrigila, B., Statman, R. (2018). Fixed points in lambda calculus. An eccentric survey of problems and solutions. INDAGATIONES MATHEMATICAE, 29(1), 450-458 [10.1016/j.indag.2017.06.003].
Intrigila, B; Statman, R
Articolo su rivista
01 - Articolo su rivista
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/207142
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact