helm/www/lambdadelta/download/lambdadelta.txt

   1 % \lambda\delta version 3 (proposed) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   2
   3 @misc{lambdadeltaJ3a,
   4    author="F. {Guidi}",
   5    title="{A Verified Translation of Landau's `Grundlagen'' from Automath into a Pure Type System, via $\lambda\delta$}",
   6    year="2015",
   7    month="February",
   8    note="Submitted to JFR, University of Bologna (available at $<$http://lambdadelta.info/$>$)"
   9 }
  10
  11 % \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  12
  13 @misc{lambdadeltaJ2a,
  14    author="F. {Guidi}",
  15    title="{The Formal System $\lambda\delta$ Revised, Stage A: Extending the Applicability Condition}",
  16    howpublished="CoRR identifier 1411.0154",
  17    year="2014",
  18    month="November",
  19    note="Submitted to ACM ToCL (available at $<$http://lambdadelta.info/$>$)"
  20 }
  21
  22 @misc{lambdadeltaV2,
  23    author="F. {Guidi}",
  24    title="{lambdadelta\_2}",
  25    howpublished="Formal specification for the proof assistant Matita 0.99.2",
  26    year="2014",
  27    month="October",
  28    note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
  29 }
  30
  31 @incollection{lambdadeltaR2b,
  32    author="F. {Guidi}",
  33    title="{An Efficient Validation Procedure for the Formal System $\lambda\delta$}",
  34    editor="F. {Ferreira} and H. {Guerra} and E. {Mayordomo} and J. {Rasga}",
  35    booktitle="Local Proceedings of 6th Conference on Computability in Europe (CiE 2010)",
  36    pages="204-213",
  37    publisher="Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores",
  38    address="Ponta Delgada, Portugal",
  39    year="2010",
  40    month="July"
  41 }
  42
  43 @techreport{lambdadeltaR2a,
  44    author="F. {Guidi}",
  45    title="{Landau's ``Grundlagen der Analysis'' from Automath to lambda-delta}",
  46    type="Technical Report",
  47    number="UBLCS 2009-16",
  48    institution="University of Bologna",
  49    address="Bologna, Italy",
  50    year="2009",
  51    month="September"
  52 }
  53
  54 % \lambda\delta version 1 (superseded) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  55
  56 @article{lambdadeltaJ1,
  57    author="F. {Guidi}",
  58    title="{The Formal System $\lambda\delta$}",
  59    journal="Transactions on Computational Logic",
  60    volume="11",
  61    number="1",
  62    pages="5:1-5:37, online appendix 1-11",
  63    publisher="ACM",
  64    address="New York, NY, USA",
  65    year="2009",
  66    month="November"
  67 }
  68
  69 @incollection{lambdadeltaR1c,
  70    author="F. {Guidi}",
  71    title="{Lambda Types on the Lambda Calculus with Abbreviations}",
  72    editor="S. {Barry Cooper} and T. F. {Kent} and B. {L\"owe} and A. {Sorbi}", @comment="{\"}",
  73    booktitle="Local Proceedings of 3rd Conference on Computability in Europe (CiE 2007) Technical Report 487",
  74    pages="387-387",
  75    publisher="Universit\`a di Siena",
  76    address="Siena, Italy",
  77    year="2007",
  78    month="June"
  79 }
  80
  81 @techreport{lambdadeltaR1b,
  82    author="F. {Guidi}",
  83    title="{Lambda-Types on the Lambda-Calculus with Abbreviations}",
  84    type="Technical Report",
  85    number="UBLCS 2006-25",
  86    institution="University of Bologna",
  87    address="Bologna, Italy",
  88    year="2006",
  89    month="November"
  90 }
  91
  92 @techreport{lambdadeltaR1a,
  93    author="F. {Guidi}",
  94    title="{Lambda-Types on the Lambda-Calculus with Abbreviations: a Certified Specification}",
  95    type="Technical Report",
  96    number="UBLCS 2006-01",
  97    institution="University of Bologna",
  98    address="Bologna, Italy",
  99    year="2006",
 100    month="January"
 101 }
 102
 103 @misc{lambdadeltaV1,
 104    author="F. {Guidi}",
 105    title="{lambdadelta\_1}",
 106    howpublished="Formal specification for the proof assistant Coq 7.3.1",
 107    year="2006",
 108    month="November",
 109    note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
 110 }