<?xml version="1.0" encoding="utf-8"?>+ −
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">+ −
+ − <html>+ −
<head>+ −
<title>The Nominal Datatype Package</title>+ −
<link rel="stylesheet" href="nominal.css">+ −
</head>+ −
<body>+ −
+ − <h1>Documentation</h1>+ −
+ − Some rudimentary notes are available in + −
<a href="manual/nominal_datatype_manual.ps">postscript</a> and+ −
in <a href="manual/nominal_datatype_manual.pdf">pdf</a>. We are+ −
working on better documentation - hassle us to speed up this+ −
process.<br><br>+ −
+ − A somewhat highlevel description of the formalisation in the example file SOS.thy. + −
[<a href="manual/SOS.pdf">pdf</a>]<br>+ −
+ − <h1>Nominal Bibliography</h1>+ −
+ − <A HREF="http://www.citeulike.org/group/11951" target="_top">CiteULike</A> + −
collection about nominal techniques compiled by Dominic Mulligan (supersedes + −
the collection below).+ −
<BR><BR>+ −
+ − + − <A HREF="http://nms.kcl.ac.uk/christian.urban/NomBib/nominal.html" target="_top">Here</A> + −
is a bibliography of publications related to the nominal logic work. + −
+ − </body>+ −
</html>+ −