From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/580 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: Re: Functor algebras Date: Thu, 8 Jan 1998 16:29:13 -0400 (AST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241017052 26351 80.91.229.2 (29 Apr 2009 14:57:32 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:57:32 +0000 (UTC) To: categories Original-X-From: cat-dist Thu Jan 8 16:29:21 1998 Original-Received: (from cat-dist@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id QAA20645; Thu, 8 Jan 1998 16:29:14 -0400 (AST) Original-Lines: 24 Xref: news.gmane.org gmane.science.mathematics.categories:580 Archived-At: Date: Thu, 08 Jan 1998 11:52:54 MEZ From: Martin Hofmann Dear Uday, There has been an Edinburgh PhD thesis by Tatsuya Hagino on the subject of the se dialgebras. He defines a strongly normalising lambda calculus based on initial terminal dialgebras and also does some general theory. Hope this helps, Martin -- Martin Hofmann AG Logik und mathemat. Grundl. der Informatik Fachbereich Mathematik Technische Hochschule Darmstadt Schlossgartenstrasse 7 D-64289 Darmstadt Germany Tel. : x49-6151-16-3615 FAX : x49-6151-16-4011 e-mail: mh@mathematik.th-darmstadt.de WWW : http://www.mathematik.th-darmstadt.de/ags/ag14/mitglieder/hofmann-e.html