Back to Results
First PageMeta Content
Mathematics / Henk Barendregt / Church–Rosser theorem / Haskell Curry / Barendregt / Gordon Plotkin / Henk / Hindley / Type theory / Theoretical computer science / Lambda calculus / Mathematical logic


Lambda-Calculus Conferences in the 1970s Roger Hindley Mathematics Department, Swansea University, Wales, e-mail: August 12, 2011
Add to Reading List

Document Date: 2011-08-12 13:22:21

Open Document

File Size: 126,83 KB

Share Result on Facebook

City

Geneva / Syracuse / Buffalo / Varik / Warsaw / Budapest / Paris / Philadelphia / Munich / Rome / Algiers / Stuttgart / Aachen / Amsterdam / Darmstadt / /

Company

Dana / Siemens / Fitch Ratings Ltd. / /

Country

Germany / Netherlands / France / United States / Wales / /

/

Event

Credit Rating / /

Facility

Swansea University / Pennsylvania State University / /

Organization

Yale / Pennsylvania State University / Sixi`eme Ecole de Printemps d‘Informatique Th´eorique / Manchester Univ. / European Association for Theoretical Computer Science / British Council / Tulane / Swansea University / Utrecht Univ. / Roger Hindley Mathematics Department / /

Person

Gordon Plotkin / Giuseppe (Pisa) Meredith / Richard (Cambridge) Troelstra / Roger (Swansea) Koymans / Gordon (Edinburgh) van der Poel / Marisa VenturiniZilli / Haskell Curry / Gordon (Edinburgh) Prini / Jane (Oxford) Chauvin / Sophia Antipolis / Roger Hindley / Jean-Claude / Adrian Rezus / Maurice Nivat / Roger (Swansea) Hi / Frederic (Yale) Gilmore / Robert (Eindhoven) Ni / Gena (Turin) / Roel (Eindhoven) Welch / Mario / Chris Wadsworth / Jonathan (Oxford) Venneri / Giuseppe (Pisa) Maass / Della Rocca / Bernard Robinet / Mariangiola Dezani-Ciancaglini / Patrick (Toulouse) Scott / Luca (Pistoia) Chauvin Andr / Theory / /

Position

editor / present writer / writer / syntactical model / /

ProvinceOrState

Illinois / New York / Pennsylvania / New Hampshire / /

PublishedMedium

Theoretical Computer Science / /

Technology

Adam / /

URL

http /

SocialTag