ΛProlog - PDFSEARCH.IO - Document Search Engine

ΛProlog
Results: 7

#	Item
1	ELPI: fast, Embeddable, λProlog Interpreter Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi To cite this version: Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi. ELPI: fast, Add to Reading List Source URL: www.cs.unibo.it - Date: 2016-07-28 06:05:41
2	Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-11-03 10:29:10 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Mathematics Theoretical computer science
3	The Abella Interactive Theorem Prover (System Description) arXiv:0803.2305v2 [cs.LO] 23 May[removed]Andrew Gacek Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-05-23 11:30:13 Predicate logic Logic in computer science Theoretical computer science Type theory Formal methods ΛProlog Unification Logic programming Lambda calculus Mathematical logic Logic Mathematics
4	AN OVERVIEW OF λPROLOG GOPALAN NADATHUR Department of Computer Science Duke University Durham, NC Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:44 Logic in computer science Automated theorem proving Logic programming Model theory Predicate logic ΛProlog First-order logic Prolog Interpretation Logic Mathematical logic Mathematics
5	Theory and Practice of Logic Programming http://journals.cambridge.org/TLP Additional services for Theory and Practice of Logic Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-03-06 12:46:38 Logic in computer science Programming paradigms Automated theorem proving Type theory Proof theory ΛProlog Logic programming Prolog Logic Software engineering Theoretical computer science Mathematical logic
6	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:14 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Theoretical computer science Mathematics
7	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:33 Predicate logic Logic in computer science Logic programming Programming paradigms ΛProlog Functional programming Unification Prolog Lambda calculus Mathematics Software engineering Mathematical logic

UPDATE