Login / Signup

Continuity as a computational effect.

Renato NevesLuís Soares BarbosaDirk HofmannManuel A. Martins
Published in: J. Log. Algebraic Methods Program. (2016)
Keyphrases