Discussion Threads in fj.mail-lists.types
37 threads • Page 1 of 1| Thread Subject | Last Message |
|---|---|
|
Teisei: fj.mail-lists.types is closed
By: Mizuhito Ogawa on Tue, 27 Oct 1992 03:29 |
34 Years ago
0 replies |
|
fj.mail-lists.types is closed ecl.ml.****
By: Mizuhito Ogawa on Thu, 08 Oct 1992 09:15 |
34 Years 1 Month ago
0 replies |
|
New CONCURRENCY, LOGIC, and TYPES Moderators
By: meyer on Wed, 30 Sep 1992 00:04 |
34 Years 1 Month ago
0 replies |
|
Book by Carl Gunter
By: Carl Gunter on Tue, 29 Sep 1992 14:59 |
34 Years 1 Month ago
0 replies |
|
LogIn Programme
By: PIFUHRMA on Tue, 29 Sep 1992 14:55 |
34 Years 1 Month ago
0 replies |
|
4th Int.Conf. on Logic Programming and Automated Reasoning
By: voronkov on Fri, 25 Sep 1992 23:07 |
34 Years 1 Month ago
0 replies |
|
Re: quantum logics
By: dunn on Tue, 15 Sep 1992 20:08 |
34 Years 2 Months ago
0 replies |
|
Re: About the questions by S. Courtenage
By: sa on Tue, 15 Sep 1992 16:13 |
34 Years 2 Months ago
0 replies |
|
About the questions by S. Courtenage
By: girard on Mon, 14 Sep 1992 22:44 |
34 Years 2 Months ago
0 replies |
|
sequent calculi for quantum logics
By: jack on Sat, 12 Sep 1992 17:43 |
34 Years 2 Months ago
0 replies |
|
Re: quantum logics
By: pratt on Thu, 10 Sep 1992 15:05 |
34 Years 2 Months ago
0 replies |
|
Online LICS bibliography
By: David M. Jones on Mon, 31 Aug 1992 23:11 |
34 Years 2 Months ago
0 replies |
|
New book on Constructivism in Mathematics
By: K.R.Apt on Mon, 31 Aug 1992 21:47 |
34 Years 2 Months ago
0 replies |
|
Two papers on object-oriented programming
By: bcp on Mon, 31 Aug 1992 17:07 |
34 Years 2 Months ago
0 replies |
|
Type Inference using Sequent Calculus formulation of IPL
By: sanjiva on Thu, 27 Aug 1992 15:53 |
34 Years 2 Months ago
0 replies |
|
ISABELLE-92
By: Larry.Paulson on Wed, 26 Aug 1992 19:21 |
34 Years 2 Months ago
0 replies |
|
CORRECTION: Bastad proceedings
By: kentp on Fri, 21 Aug 1992 15:02 |
34 Years 2 Months ago
0 replies |
|
Informal Baastad proceedings by FTP
By: kentp on Thu, 20 Aug 1992 19:14 |
34 Years 2 Months ago
0 replies |
|
Term Assignment for ILL
By: Gavin.Bierman on Mon, 17 Aug 1992 20:52 |
34 Years 3 Months ago
0 replies |
|
unification in CCC
By: Roberto.Amadio on Fri, 14 Aug 1992 19:46 |
34 Years 3 Months ago
0 replies |
|
OOP Tutorial
By: jcm on Thu, 13 Aug 1992 20:24 |
34 Years 3 Months ago
0 replies |
|
Stark's reply re regular subobjects in CCCPO
By: gqz on Thu, 06 Aug 1992 21:53 |
34 Years 3 Months ago
0 replies |
|
Regular subobjects in CCCPO
By: Eugene Stark on Thu, 06 Aug 1992 19:55 |
34 Years 3 Months ago
0 replies |
|
Re: Coherence and polymorphic instantiation
By: Martin Abadi on Wed, 05 Aug 1992 16:09 |
34 Years 3 Months ago
0 replies |
|
Regular subobjects in CCCPO
By: alanje on Wed, 05 Aug 1992 16:06 |
34 Years 3 Months ago
0 replies |
|
Coherence and polymorphic instantiation
By: Andre Scedrov on Tue, 04 Aug 1992 17:06 |
34 Years 3 Months ago
0 replies |
|
Embedding free CCC into SET
By: Djordje Cubric on Tue, 04 Aug 1992 14:43 |
34 Years 3 Months ago
0 replies |
|
Coherence and polymorphic instantiation
By: bcp on Tue, 04 Aug 1992 14:42 |
34 Years 3 Months ago
0 replies |
|
Additional reference
By: jean on Wed, 29 Jul 1992 22:17 |
34 Years 3 Months ago
0 replies |
|
new book on unification
By: jean on Wed, 29 Jul 1992 22:08 |
34 Years 3 Months ago
0 replies |
|
ftp papers on Constructive Logics
By: jean on Mon, 27 Jul 1992 17:52 |
34 Years 3 Months ago
0 replies |
|
another ftp site for Plotkin's course notes on domains
By: treinen on Mon, 27 Jul 1992 14:31 |
34 Years 3 Months ago
0 replies |
|
Re: TeX-ed version of Prof. Plotkin's course note Domains now available
By: kikuchi on Fri, 24 Jul 1992 14:50 |
34 Years 3 Months ago
0 replies |
|
Domains available in PostScript format
By: David Wald on Fri, 24 Jul 1992 14:50 |
34 Years 3 Months ago
0 replies |
|
Plotkin course notes available from MIT and some found problems.
By: Hidetaka Kondoh on Tue, 21 Jul 1992 20:15 |
34 Years 3 Months ago
0 replies |
|
Re: TeX-ed version of Prof. Plotkin's course note Domains now available
By: kikuchi on Tue, 21 Jul 1992 19:55 |
34 Years 3 Months ago
0 replies |
|
Constant-only fragment of MLL is NP-complete
By: lincoln on Tue, 07 Apr 1992 15:04 |
34 Years 7 Months ago
0 replies |
Thread Navigation
Threads show conversation groups with message counts
Click thread titles to view the full discussion
G to switch to chronological article view