[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Cervanto00

  1. Iliano Cervanto
  2. Logical Framework: Why not just classical logic?
  3. CSLI Lecture notes V91, Stanford U(2000)pp87-104 in "Formalizing the dynamics of information" ed. Martina Faller & Stefan C Kaufmann & Marc Pauly ISBN 1-57586-239-5 Q360
  4. =ESSAY LOGIC LAMBDA cf Z SCHEMA
  5. (dick)|-Parallels my thinking in creating MATHS.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]