🚀 go-pugleaf

New CONCURRENCY, LOGIC, and TYPES Moderators
By: meyer on Wed, 30 Sep 1992 00:04

Book by Carl Gunter
By: Carl Gunter on Tue, 29 Sep 1992 14:59

LogIn Programme
By: PIFUHRMA on Tue, 29 Sep 1992 14:55

4th Int.Conf. on Logic Programming and Automated Reasoning
By: voronkov on Fri, 25 Sep 1992 23:07

fj.mail-lists.types is closed ecl.ml.****
By: Mizuhito Ogawa on Thu, 08 Oct 1992 09:15

CORRECTION: Bastad proceedings
By: kentp on Fri, 21 Aug 1992 15:02

Informal Baastad proceedings by FTP
By: kentp on Thu, 20 Aug 1992 19:14

Term Assignment for ILL
By: Gavin.Bierman on Mon, 17 Aug 1992 20:52

unification in CCC
By: Roberto.Amadio on Fri, 14 Aug 1992 19:46

OOP Tutorial
By: jcm on Thu, 13 Aug 1992 20:24

Online LICS bibliography
By: David M. Jones on Mon, 31 Aug 1992 23:11

New book on Constructivism in Mathematics
By: K.R.Apt on Mon, 31 Aug 1992 21:47

Two papers on object-oriented programming
By: bcp on Mon, 31 Aug 1992 17:07

Type Inference using Sequent Calculus formulation of IPL
By: sanjiva on Thu, 27 Aug 1992 15:53

ISABELLE-92
By: Larry.Paulson on Wed, 26 Aug 1992 19:21

Re: quantum logics
By: dunn on Tue, 15 Sep 1992 20:08

Re: About the questions by S. Courtenage
By: sa on Tue, 15 Sep 1992 16:13

About the questions by S. Courtenage
By: girard on Mon, 14 Sep 1992 22:44

sequent calculi for quantum logics
By: jack on Sat, 12 Sep 1992 17:43

Re: quantum logics
By: pratt on Thu, 10 Sep 1992 15:05

Additional reference
By: jean on Wed, 29 Jul 1992 22:17

Constant-only fragment of MLL is NP-complete
By: lincoln on Tue, 07 Apr 1992 15:04

new book on unification
By: jean on Wed, 29 Jul 1992 22:08

ftp papers on Constructive Logics
By: jean on Mon, 27 Jul 1992 17:52

another ftp site for Plotkin's course notes on domains
By: treinen on Mon, 27 Jul 1992 14:31

Domains available in PostScript format
By: David Wald on Fri, 24 Jul 1992 14:50

Re: TeX-ed version of Prof. Plotkin's course note Domains now available
By: kikuchi on Fri, 24 Jul 1992 14:50

Plotkin course notes available from MIT and some found problems.
By: Hidetaka Kondoh on Tue, 21 Jul 1992 20:15

Re: TeX-ed version of Prof. Plotkin's course note Domains now available
By: kikuchi on Tue, 21 Jul 1992 19:55

Stark's reply re regular subobjects in CCCPO
By: gqz on Thu, 06 Aug 1992 21:53

Regular subobjects in CCCPO
By: Eugene Stark on Thu, 06 Aug 1992 19:55

Re: Coherence and polymorphic instantiation
By: Martin Abadi on Wed, 05 Aug 1992 16:09

Regular subobjects in CCCPO
By: alanje on Wed, 05 Aug 1992 16:06

Coherence and polymorphic instantiation
By: Andre Scedrov on Tue, 04 Aug 1992 17:06

Embedding free CCC into SET
By: Djordje Cubric on Tue, 04 Aug 1992 14:43

Coherence and polymorphic instantiation
By: bcp on Tue, 04 Aug 1992 14:42

Teisei: fj.mail-lists.types is closed
By: Mizuhito Ogawa on Tue, 27 Oct 1992 03:29