Re: Some Proof Net References

• To: types
• Subject: Re: Some Proof Net References
• From: Vijay Gehlot <vijay@dcs.glasgow.ac.uk>
• Date: Tue, 19 Nov 91 16:25:14 EST
• Sender: meyer@theory.lcs.mit.edu

Date: Mon, 18 Nov 91 10:19:20 +0000
To: linear@cs.stanford.edu
X-Comment1: #############################################################
X-Comment2: # uk.ac.glasgow.cs has changed to uk.ac.glasgow.dcs #
X-Comment3: # If this address does not work please ask your mail #
X-Comment4: # administrator to update your NRS & mailer tables. #
X-Comment5: #############################################################


With regard to Proof Nets, people may also find the following
recent thesis by Dirk Roorda from the University of Amsterdam 
interesting.

@phdthesis(roorda91,
author = "D. Roorda",
title  = "Resource Logics: A Proof-theoretical study",
school = "University of Amsterdam",
month  = "??September??"
year   = "1991")

-Vijay Gehlot

• Prev: Re: Why Prolog and CBV?
• Next: semantic description of call-by-need
• Index(es):
  • Main
  • Thread