<%@ page language="java" contentType="text/html" %>
<%-- Include common initialisation code --%>
<%@ include file="/arch/common.jsp" %>
<%-- The current tab --%>
<% String currentTab = "Research"; %>
<%-- Content of navigation pane --%>
<%@ include file="nav.jsp" %>
<% showCurrentLink=true; %>
<%-- Current navigation location --%>
<% String currentNav = "Reports and Theses"; %>
<%-- Include the code for the document header --%>
<%@ include file="/arch/header.jsp" %>
Research Reports 1976
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
<%@ include file="copyright.html" %>
- CS-RR-016
- M.S. Paterson,
New Bounds for Formula Size,
December 1, 1976
- CS-RR-015
- D.J. Lehmann,
Categories for Fixpoint Semantics,
June 1, 1976
- CS-RR-014
- M.B. Smyth,
Category-Theoretic Solution of Recursive Domain Equations,
July 1, 1976
- CS-RR-013
- D.M.R. Park,
The Y-combinator in Scott's Lambda-calculus Models,
June 1, 1976
- CS-RR-012
- M.B. Smyth,
Powerdomains,
May 1, 1976
- CS-RR-011
- E.A. Ashcroft and W.W. Wadge,
Lucid, a Nonprocedural Language with Iteration,
April 1, 1976
- CS-RR-010
- D.J. Lehmann,
Algebraic Structures for Transitive Closure,
February 1, 1976
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>