Re: Functor algebras

8 Jan 1998

      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