Ronan Sleep
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
From finite to infinite lambda calculi Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 1 / s. 13 - 201995CZYSTY 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@Article{ authors = " Fer-Jan de Vries, Richard Kennaway, Jan-Willem Klop, Ronan Sleep", title = "From finite to infinite lambda calculi", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 1", pages = "13 - 20" }
