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
Lambda calculus and parial functions in first order logic
Kuper, J.
(Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Plaats van uitgifte: Utrecht
Period
15 Mar 1991
Event title
Intercity Seminar on Typed Lambda Calculus
Event type
Conference
Location
Utrecht
Keywords
METIS-123571