![Lambda calculus / Type theory / Mathematical logic / Theoretical computer science / Software engineering / Computability theory / System F / Calculus / Continuation / Church encoding / Deductive lambda calculus Lambda calculus / Type theory / Mathematical logic / Theoretical computer science / Software engineering / Computability theory / System F / Calculus / Continuation / Church encoding / Deductive lambda calculus](https://www.pdfsearch.io/img/f407bea4dd613ff84a5ada00a1c34033.jpg) Date: 2014-05-12 17:59:36Lambda calculus Type theory Mathematical logic Theoretical computer science Software engineering Computability theory System F Calculus Continuation Church encoding Deductive lambda calculus | | A type system for Continuation Calculus Herman Geuvers joint work with Bram Geron (Birmingham), Wouter Geraedts (Nijmegen), Judith van Stegeren (Nijmegen) Radboud University Nijmegen andAdd to Reading ListSource URL: www.cs.ru.nlDownload Document from Source Website File Size: 201,48 KBShare Document on Facebook
|