![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Sam Lindley, University of Edinburgh
Friday 16 May 2008, 14:00-15:00
Extensional rewriting with sums
- 👤 Speaker: Sam Lindley, University of Edinburgh
- 📅 Date & Time: Friday 16 May 2008, 14:00 - 15:00
- 📍 Venue: Room FW11, Computer Laboratory, William Gates Building
Questions? Contact
Sam Staton
Abstract
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed lambda-calculus extended with sum types. As a corollary of confluence we obtain decidability for the extensional equational theory of simply-typed lambda-calculus extended with sum types. Unlike previous decidability results, which rely on advanced rewriting techniques or advanced category theory, we only use standard techniques.
Series This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- Martin's interesting talks
- Room FW11, Computer Laboratory, William Gates Building
- School of Technology
- tcw57’s list
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.