Standard
The fixed point property and a technique to harness double fixed point combinators. / Manzonetto, Giulio; Polonsky, Andrew; Saurin, Alexis; Simonsen, Jakob Grue.
In:
Journal of Logic and Computation, Vol. 29, No. 5, 2019, p. 831-880.
Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Manzonetto, G, Polonsky, A, Saurin, A
& Simonsen, JG 2019, '
The fixed point property and a technique to harness double fixed point combinators',
Journal of Logic and Computation, vol. 29, no. 5, pp. 831-880.
https://doi.org/10.1093/logcom/exz013APA
Manzonetto, G., Polonsky, A., Saurin, A.
, & Simonsen, J. G. (2019).
The fixed point property and a technique to harness double fixed point combinators.
Journal of Logic and Computation,
29(5), 831-880.
https://doi.org/10.1093/logcom/exz013Vancouver
Manzonetto G, Polonsky A, Saurin A
, Simonsen JG.
The fixed point property and a technique to harness double fixed point combinators.
Journal of Logic and Computation. 2019;29(5):831-880.
https://doi.org/10.1093/logcom/exz013Author
Manzonetto, Giulio ; Polonsky, Andrew ; Saurin, Alexis ; Simonsen, Jakob Grue. / The fixed point property and a technique to harness double fixed point combinators. In: Journal of Logic and Computation. 2019 ; Vol. 29, No. 5. pp. 831-880.
Bibtex
@article{06a1ee1d133c4a5c89ec4ba02fe63859,
title = "The fixed point property and a technique to harness double fixed point combinators",
author = "Giulio Manzonetto and Andrew Polonsky and Alexis Saurin and Simonsen, {Jakob Grue}",
year = "2019",
doi = "10.1093/logcom/exz013",
language = "English",
volume = "29",
pages = "831--880",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "5",
}
RIS
TY - JOUR
T1 - The fixed point property and a technique to harness double fixed point combinators
AU - Manzonetto, Giulio
AU - Polonsky, Andrew
AU - Saurin, Alexis
AU - Simonsen, Jakob Grue
PY - 2019
Y1 - 2019
U2 - 10.1093/logcom/exz013
DO - 10.1093/logcom/exz013
M3 - Journal article
VL - 29
SP - 831
EP - 880
JO - Journal of Logic and Computation
JF - Journal of Logic and Computation
SN - 0955-792X
IS - 5
ER -
