helm/www/lambdadelta/download/lambdadelta.bib

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