학술논문
The fixed point property and a technique to harness double fixed point combinators
Document Type
Article
Author
Source
In: Journal of Logic and Computation . (Journal of Logic and Computation, 1 September 2019, 29(5):831-880)
Subject
Language
English
ISSN
1465363X
0955792X
0955792X