Re: Higher-order KIF & CGs

• Mail folder: Interlingua Mail
• Next message: Fritz Lehmann: "Higher-order KIF & Conceptual Graphs"
• Previous message: Harold Boley: "Re: Higher-order KIF & CGs"
• Maybe in reply to: Harold Boley: "Re: Higher-order KIF & CGs"

Message-id: <199311041859.AA14572@dante.cs.uiuc.edu>
Date: Thu, 4 Nov 1993 13:01:52 +0000
To: Harold Boley <boley@informatik.uni-kl.de>
From: phayes@cs.uiuc.edu
X-Sender: phayes@dante.cs.uiuc.edu
Subject: Re:  Higher-order KIF & CGs
Cc: interlingua@ISI.EDU

Hi Harold. 

Thanks. Could you send me copies of the papers you cite? I have no easy way
to access them from here.

Pat

Boley, H.: A treatment of collection data as constructor algebras.
Univ. Kaiserslautern, FB Informatik, MEMO SEKI-84-06, Oct. 1984.

@inproceedings{Boley92,
   author = {Harold Boley},
   title = {{Extended Logic-plus-Functional Programming}},
   editors = "Eriksson, Lars-Henrik and  Halln{\"a}s, Lars and
              Schroeder-Heister, Peter",
   booktitle = {Workshop on Extensions of Logic Programming, ELP '91,
                Stockholm1991},
   publisher = {Springer},
   series = {LNAI},
   year = {1992}
}

----------------------------------------------------------------------------
Beckman Institute                                    (217)244 1616 office
405 North Mathews Avenue        	   (217)328 3947 or (415)855 9043 home
Urbana, IL. 61801                                    (217)244 8371 fax  	  

hayes@cs.stanford.edu  or Phayes@cs.uiuc.edu