Date: Wed, 20 Nov 1996 19:10:24 GMT Server: Apache/1.1.1 Content-type: text/html Content-length: 2093 Last-modified: Fri, 25 Oct 1996 19:44:27 GMT
The focus of this research group is on logic in computer science, with particular interest in lambda calculus and functional programming, types, constructive mathematics, proof theory, linear logic, and semantics.
Our group is equipped with the usual array of workstations, backed up by a complex of turbocharged multitape Turing Machines, a prototype high-speed optimal reduction machine, and a type-directed partial evaluator.
As of September 1996, we are running a weekly seminar on logic and programming language theory, tentatively devoted to topics in linear logic and extracting computational content from classical proofs.