TYTUŁ ARTYKUŁU

From finite to infinite lambda calculi

AUTORZY
Fer-Jan de Vries, Richard Kennaway, Jan-Willem Klop, Ronan Sleep
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1995 / Tom 24 / Numer 1
STRONY
13 - 20
ROK
1995
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY TEKST

Fer-Jan de Vries, Richard Kennaway, Jan-Willem Klop, Ronan Sleep, From finite to infinite lambda calculi, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 1, s. 13 - 20

BIBTEX

Fer-Jan de Vries, Richard Kennaway, Jan-Willem Klop, and Ronan Sleep. From finite to infinite lambda calculi. Bulletin of the Section of Logic, 24(1):13–20, 1995.

Pokaż kod BibTeX 
@article{bazhum233471,
  author = {de Vries, Fer-Jan and Kennaway, Richard and Klop, Jan-Willem and Sleep, Ronan},
  title = {{From finite to infinite lambda calculi}},
  journal = {Bulletin of the Section of Logic},
  year = {1995},
  volume = {24},
  number = {1},
  pages = {13--20},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/233471}
}