📄 http:^^www.cs.wesleyan.edu^~djd^
字号:
Date: Thursday, 21-Nov-96 21:33:31 GMTServer: NCSA/1.1MIME-version: 1.0Content-type: text/htmlLast-modified: Saturday, 22-Jun-96 15:41:25 GMT<HEAD> <title> Dan Dougherty's WWW Plan File </title></HEAD><BODY><h2> Dan Dougherty </h2> Associate Professor of Computer Science <br> Wesleyan University <br> Middletown, CT 06459 <br> [203] 685-2185 <br> <address> <!WA0><a href= mailto:ddougherty@wesleyan.edu> ddougherty@wesleyan.edu</a> </address><hr><h3> Research Interests </h3><blockquote>Computational logic, especially term rewriting, unification, andlambda calculus </blockquote><h3> Recent papers, available from site <em>ftp.cs.wesleyan.edu</em>: </h3><ul> <li> "Equality between functionals in the presence of coproducts" <!WA1><a HREF="ftp://ftp.cs.wesleyan.edu/pub/djd/i-and-c.dvi"> dvi file </a>, or <!WA2><a HREF="ftp://ftp.cs.wesleyan.edu/pub/djd/i-and-c.ps"> ps file. </a><p><li> Some independence results for equational unification <!WA3><a HREF="ftp://ftp.cs.wesleyan.edu/pub/djd/rta95.dvi"> dvi file </a>, or <!WA4><a HREF="ftp://ftp.cs.wesleyan.edu/pub/djd/rta95.ps"> ps file.</a><p><li>"Some lambda-calculi with categorical sums and products" <!WA5><a HREF="ftp://ftp.cs.wesleyan.edu/pub/djd/rta93.dvi"> dvi file </a>, or <!WA6><a HREF="ftp://ftp.cs.wesleyan.edu/pub/djd/rta93.ps"> ps file</a><p><li>"Higher-order unification via combinators"<!WA7><a href="ftp://ftp.cs.wesleyan.edu/pub/djd/hou.dvi"> dvi file </a>, or<!WA8><a href="ftp://ftp.cs.wesleyan.edu/pub/djd/hou.ps"> ps file</a><p><li> "Adding algebra to the untyped lambda calculus" <!WA9><a href="ftp://ftp.cs.wesleyan.edu/pub/djd/rewriting-and-beta.dvi">dvi file </a>, or <!WA10><a href="ftp://ftp.cs.wesleyan.edu/pub/djd/rewriting-and-beta.ps"></a>ps file <p> <li> "A combinatory logic approach to higher-order E-unification (with P. Johann)" <!WA11><a href="ftp://ftp.cs.wesleyan.edu/pub/djd/hoeu.dvi"> dvi file </a>, or <!WA12><a href="ftp://ftp.cs.wesleyan.edu/pub/djd/hoeu.ps"> ps file </a><p> <li> "An improved general E-unification method (with P. Johann)" <!WA13><a HREF="ftp://ftp.cs.wesleyan.edu/pub/djd/eu.dvi"> dvi file </a>, or <!WA14><a HREF="ftp://ftp.cs.wesleyan.edu/pub/djd/eu.ps"> ps file </a><p> <li> "Closed categories and categorial grammar" <!WA15><a HREF="ftp://ftp.cs.wesleyan.edu/pub/djd/catgrammar.dvi"> dvi file </a>, or <!WA16><a HREF="ftp://ftp.cs.wesleyan.edu/pub/djd/catgrammar.ps"> ps file</a></ul><h3> Teaching (Fall 1995) </h3><blockquote> <!WA17><a href="http://www.cs.wesleyan.edu/courses/comp211/comp211Home.html">"Introduction to Computer Science"</a></blockquote><h3> Other links </h3><blockquote> <!WA18><a href="http://www.cs.wesleyan.edu"><b> Wesleyan computer science group <b> </a></blockquote><blockquote><!WA19><a href=http://www.wesleyan.edu><!-- <!WA20><img src="http://www.cs.wesleyan.edu/gif/shield-very-small.gif"> --><b>Wesleyan university</b></a><blockquote><hr></BODY>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -