http:^^www.cs.brandeis.edu^~mairson^lc.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 82 行

HTML
82 行
字号 
Date: Wed, 20 Nov 1996 19:10:24 GMT
Server: Apache/1.1.1
Content-type: text/html
Content-length: 2093
Last-modified: Fri, 25 Oct 1996 19:44:27 GMT

<!DOCTYPE HTML PUBLIC "-//IETF//DDT HTML 2.0 Level 2//EN"><html><head><title>Logic and Computation</title><link rev="made" href="mailto:mairson@cs.brandeis.edu"></head><BODY BGCOLOR="#ffffff" TEXT="#000000" link="#000099" vlink="#770055"          ALINK="#FF00FF"><body><!WA0><IMG SRC="http://www.cs.brandeis.edu/img/simple-heading.gif"><br><h1>Logic and Computation</h1>(formerly the <i>Institute for Advanced Concepts in ProgrammingLanguage Theory</i>)<p>The focus of this research group is on logic in computer science, withparticular interest in lambda calculus and functional programming, types,constructive mathematics, proof theory, linear logic, and semantics.<p> Our group is equipped with the usual array of workstations, backedup by a complex of turbocharged multitape Turing Machines, a prototypehigh-speed optimal reduction machine, and a type-directed partialevaluator.<p>As of September 1996, we are running a weekly <!WA1><a href ="http://www.cs.brandeis.edu/~mairson/PL-seminar.html">seminar on logic and programming languagetheory</a>, tentatively devoted to topics in linear logic andextracting computational content from classical proofs.<h2>Members</h2><ul><li><!WA2><a href ="http://www.cs.brandeis.edu/~bukatin/index.html">Michael Bukatin</a></ul><ul><li><!WA3><a href = "http://theory.lcs.mit.edu/~kucan">Jakov Kucan</a></ul><ul><li><!WA4><a href = "http://www.cs.brandeis.edu/~mairson/index.html">Harry Mairson</a></ul><ul><li><!WA5><a href = "http://www.cs.brandeis.edu/~mairson/LC.html">Luca Roversi</a></ul><ul><li><!WA6><a href = "http://www.cs.brandeis.edu/~mairson/LC.html">Anna Shubina</a></ul><ul><li><!WA7><a href ="http://www.cs.brandeis.edu/~gshubina/index.html">GalinaShubina</a></ul><ul><li><!WA8><a href = "http://www.cs.brandeis.edu/~jrvest/index.html">ReneVestergaard</a></ul><h2>Related Boston-area research groups</h2><ul><li><!WA9><a href ="http://theory.lcs.mit.edu/groups/semantics.html">MIT semantics group</a></ul><ul><li><!WA10><a href ="http://www.ccs.neu.edu/home/wand/semantics.html">Semantics group atNortheastern University</a></ul><ul><li><!WA11><a href ="http://www.cs.bu.edu/groups/church/Home.html"><i>Church</i>functional programming project at Boston University</a></ul></body>

http:^^www.cs.brandeis.edu^~mairson^lc.html - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.cs.brandeis.edu^~mairson^lc.html 源码文件，采用 HTML 编程语言编写，共 82 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与universities相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?