Skip to main navigation
Skip to search
Skip to main content
Home
Profiles
Research Units
Research Output
Datasets
Activities
Prizes
Press / Media
Search by expertise, name or affiliation
Two general proofs of the easiness of Omega
Kuper, J.
(Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Period
20 May 1994
Event title
InterCity Seminar for Typed Lambda Calculi 1994
Event type
Conference
Location
Utrecht, Netherlands