<--- Back to Details
First PageDocument Content
Mathematics / Logic / Computer programming / Automated theorem proving / Logic programming / Mathematical logic / Term / Substitution / Principia Mathematica / Free variables and bound variables / Monad
Date: 2003-07-04 16:21:32
Mathematics
Logic
Computer programming
Automated theorem proving
Logic programming
Mathematical logic
Term
Substitution
Principia Mathematica
Free variables and bound variables
Monad

Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o

Add to Reading List

Source URL: www.barzilay.org

Download Document from Source Website

File Size: 164,88 KB

Share Document on Facebook

Similar Documents

Blank Canvas and the remote-monad design pattern A Foreign Function Interface to the JavaScript Canvas API Extended Abstract Andrew Gill  Aleksander Eskilson

Blank Canvas and the remote-monad design pattern A Foreign Function Interface to the JavaScript Canvas API Extended Abstract Andrew Gill Aleksander Eskilson

DocID: 1uGgr - View Document

Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2  Cole Schlesinger3

Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3

DocID: 1uwa2 - View Document

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found through links on the ENTCS Web Page. Iterated covariant powerset is not a monad  1

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found through links on the ENTCS Web Page. Iterated covariant powerset is not a monad 1

DocID: 1uoGn - View Document

The Monad.Reader Issue 8 by Brent Yorgey  and Conrad Parker  September 10, 2007  Wouter Swierstra, editor.

The Monad.Reader Issue 8 by Brent Yorgey and Conrad Parker September 10, 2007 Wouter Swierstra, editor.

DocID: 1u6v0 - View Document