PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 Schedae Informaticae
Autorzy help
  1. 1 Dezani-Ciangaglini M.
  2. 1 Ghilezan S.
Lata help
  1. 1 2003
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  models of lambda calculus
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote A Behavioural Lambda Model
Dezani-Ciangaglini M., Ghilezan S.
Schedae Informaticae
|
2003
|
Vol. 12
35-47
EN
We build a lambda model which characterizes completely (persistently) normalizing, (persistently) head normalizing, and (persistently) weak head normalizing terms. This is proved by using the finitary logical description of the model obtained by defining a suitable intersection type assignment system.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.