Unfixing the Fixpoint: the theories of the lambdaY-calculus

LECTURE NOTES IN COMPUTER SCIENCE

10.1007/978-3-642-38164-5_11

http://hdl.handle.net/11390/902545

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84893495544

http://sole.dimi.uniud.it/~marina.lenisa/Papers/Soft-copy-pdf/fixed.pdf

closed access