![Mathematical logic / Universal quantification / Uniform space / Linear temporal logic / Μ operator / Mathematics / Function / Topology Mathematical logic / Universal quantification / Uniform space / Linear temporal logic / Μ operator / Mathematics / Function / Topology](https://www.pdfsearch.io/img/0be31ad905d9f1222b5bca476564af72.jpg)
| Document Date: 2014-04-18 17:24:35 Open Document File Size: 282,99 KBShare Result on Facebook
Company CONCUR / / / Facility J. Garrett Morris The University of Edinburgh / / Organization University of Edinburgh / / Person LAM LX / Philip Wadler / Simon J. Gay / Ai / Gianluigi Bellin / Jean-Yves Girard / Frank Pfenning / Philip J. Scott / Sam Lindley / Bellin / Morris Structural / Matthias Felleisen / Morris Lx / Vasco T. Vasconcelos / Samson Abramsky / Elena Giachino / Caires Pfenning / Davide Sangiorgi / Ornela Dardha / Morris Cut / J. Garrett Morris / / PublishedMedium Theoretical Computer Science / / Technology Functional Programming / /
SocialTag |