Advanced search
1 file | 70.86 KB Add to list

Combinatory logic, a bridge to verified programs

Albert Hoogewijs (UGent) and P. Audenaert (UGent)
Author
Organization

Downloads

  • Hoogewijs LC2003.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 70.86 KB

Citation

Please use this url to cite or link to this publication:

MLA
Hoogewijs, Albert, and P. Audenaert. “Combinatory Logic, a Bridge to Verified Programs.” Logic Colloquim, Proceedings, Association for Symbolic Logic, 2003.
APA
Hoogewijs, A., & Audenaert, P. (2003). Combinatory logic, a bridge to verified programs. In Logic Colloquim, Proceedings. Helsinki, Finland: Association for Symbolic Logic.
Chicago author-date
Hoogewijs, Albert, and P. Audenaert. 2003. “Combinatory Logic, a Bridge to Verified Programs.” In Logic Colloquim, Proceedings. Association for Symbolic Logic.
Chicago author-date (all authors)
Hoogewijs, Albert, and P. Audenaert. 2003. “Combinatory Logic, a Bridge to Verified Programs.” In Logic Colloquim, Proceedings. Association for Symbolic Logic.
Vancouver
1.
Hoogewijs A, Audenaert P. Combinatory logic, a bridge to verified programs. In: Logic Colloquim, Proceedings. Association for Symbolic Logic; 2003.
IEEE
[1]
A. Hoogewijs and P. Audenaert, “Combinatory logic, a bridge to verified programs,” in Logic Colloquim, Proceedings, Helsinki, Finland, 2003.
@inproceedings{802976,
  author       = {{Hoogewijs, Albert and Audenaert, P.}},
  booktitle    = {{Logic Colloquim, Proceedings}},
  language     = {{eng}},
  location     = {{Helsinki, Finland}},
  pages        = {{1}},
  publisher    = {{Association for Symbolic Logic}},
  title        = {{Combinatory logic, a bridge to verified programs}},
  url          = {{http://www.math.helsinki.fi/logic/LC2003/abstracts/}},
  year         = {{2003}},
}