<?xml version="1.0" encoding="UTF-8"?>
<page xmlns="http://lambdadelta.info/"
- description = "applications of lambdadelta version 2"
- title = "applications of lambdadelta version 2"
+ description = "applications of \lambda\delta version 2"
+ title = "applications of \lambda\delta version 2"
head = "cic:/matita/lambdadelta/apps_2/ (applications of λδ version 2)"
>
<section>Contents of the Specification</section>
<section>Summary of the Specification</section>
<body>Here is a numerical acount of the specification's contents
and its timeline.
+ Nodes are counted according to the "intrinsinc complexity measure"
+ [F. Guidi: "Procedural Representation of CIC Proof Terms"
+ Journal of Automated Reasoning 44(1-2), Springer (February 2010),
+ pp. 53-78].
</body>
<table name="apps_2_sum"/>
<news date="2012 February 24.">