VSL 2014: VIENNA SUMMER OF LOGIC 2014

Program extraction in Church's simple theory of types (invited talk)

Authors: Ulrich Berger and Tie Hou

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Program extraction in Church's simple theory of types (invited talk)
Authors:Ulrich Berger and Tie Hou
Proceedings:PSC 2014 Abstracts
Editors: Peter Schuster, Dirk Pattinson and Ana Sokolova
Keywords:Church's type theory, Realizability, Higher-order logic, Monotone induction and coinduction, Program extraction
Abstract:
Pages:1
Talk:Jul 18 09:15
Paper:
Disclaimer | Powered by EasyChair Smart Program