- Author
- Albert Hoogewijs (UGent) and P. Audenaert (UGent)
- Organization
Downloads
-
Hoogewijs LC2003.pdf
- full text
- |
- open access
- |
- |
- 70.86 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-802976
- 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. Logic Colloquim, Proceedings. Presented at the Logic Colloquim 2003, Helsinki, Finland.
- 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}}, }