Alberto Momigliano  Home/Search
Context
Related
| mcs.le.ac.uk/~amomigliano/p...lin.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mcs.le.ac.uk/~amomigliano/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: exp) ! exp: app : exp ! (exp ! exp): linear : exp ! o: linx : (exp ! exp) ! o: The representation function is given by: pxq = x : exp px : eq = lam (x : exp: peq) pe 1 e 2 q = app pe 1 q pe 2 q pe linearq = linear peq px : e linear in xq = linx(x : exp: peq) 1 We use object-logic capital to avoid confusion w (Update)
Active bibliography (related documents): More All
0.5: Elimination of Negation in a Logical Framework - Momigliano (Correct)
0.3: Higher-Order Pattern Complement and the Strict ...-Calculus - Momigliano, Pfenning (Correct)
0.1: The Relative Complement Problem for Higher-Order Patterns - Momigliano, Pfenning (1999) (Correct)
Similar documents based on text: More All
0.5: The Reconstruction of Trilinear Higgs Couplings - Djouadi, Kilian, Muhlleitner, .. (Correct)
0.4: A Clausal Form for the Completion of Logic Programs - James Harland Department (1991) (Correct)
0.4: Intuitionistic Implication and Resolution - Hui-Bon-Hoa (Correct)
BibTeX entry: (Update)
@misc{ momigliano-steptostep,
author = "Alberto Momigliano",
title = "A Step-to-Step Example of Negation Elimination in Hereditary Harrop Formulae",
url = "citeseer.ist.psu.edu/478445.html" }
Citations (may not include all citations):12 Elimination of negation in a logical framework - Momigliano - 2000
12 Elimination of Negation in a Logical Framework - Momigliano - 2000
3 The relative complement problem for higher-order patterns - Momigliano, Pfenning
Documents on the same site (http://www.mcs.le.ac.uk/~amomigliano/): More
Elimination of Negation in a Logical Framework - Momigliano (Correct)
Higher-Order Pattern Complement and the Strict ...-Calculus - Momigliano, Pfenning (Correct)
Towards a Logic for Reasoning about Logic Programs.. - Momigliano, Ornaghi (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC