Re: references on partial comb algebras

• To: jcm@cs.Stanford.EDU, types@dcs.gla.ac.uk
• Subject: Re: references on partial comb algebras
• From: beeson@cats.UCSC.EDU
• Date: Thu, 25 Feb 93 08:29:06 -0800
• Approved: types@dcs.gla.ac.uk

The proposed definition, exactly as given, is published on page
100 of my book, Foundations of Constructive Mathematics (Springer 1985).

• Prev: The S-All-Loc variant of Fsub
• Next: Proof search strategies in linear logic
• Index(es):
  • Main
  • Thread