Lambda cube - PDFSEARCH.IO - Document Search Engine

Lambda cube
Results: 4

#	Item
1	Pure Type Systems revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-11-14 12:39:58 Lambda calculus Type theory Combinatory logic Pure type system Lambda cube Fixed-point combinator Calculus of constructions Explicit substitution Natural deduction
2	DISSERTATION APPROVAL The abstract and dissertation of Richard Nathan Mishra-Linger for the Doctor of Philosophy in Computer Science were presented on November 7, 2008, and accepted by the dissertation committee and the Add to Reading List Source URL: www.pdx.edu Language: English - Date: 2011-11-29 12:27:13 Computing Dependent type Lambda calculus Type system Logical framework Logic programming Lambda cube Algorithm Polymorphism Type theory Software engineering Programming language theory
3	Pure Subtype Systems DeLesley S. Hutchins MZA Associates Corporation Add to Reading List Source URL: redwood.mza.com Language: English - Date: 2009-11-06 16:44:00 Theoretical computer science Object-oriented programming Data types Polymorphism Lambda calculus Subtype polymorphism Type system Lambda cube System F Type theory Software engineering Programming language theory
4	Calculus of Inductive Constructions Software Formal Verification Maria Jo˜ao Frade Add to Reading List Source URL: www3.di.uminho.pt Language: English - Date: 2009-06-24 07:52:22 Logic Programming language theory Calculus of constructions Entailment Typed lambda calculus Lambda cube Simply typed lambda calculus Type constructor Pure type system Type theory Lambda calculus Theoretical computer science