User loginNavigation |
Synthetic ComputabilityAndrej Bauer has made available his tutorial slides on Synthetic Computability, which he gave at the Mathematical Foundations of Programming Semantics #23 conference last month. He motivates the idea of a synthetic theory, with reference to Hyland's construction of Eff (the effective topos), and tackles the ideas lying behind synthetic domain theory, one of the most rarefied areas of PL semantics, as accessibly as I have seen it done. Highly theoretical, highly recommended. Via Bauer's announcement at his Mathematics and Computation weblog. |
Browse archives
Active forum topics
|
Recent comments
15 weeks 3 days ago
19 weeks 5 days ago
21 weeks 2 days ago
21 weeks 2 days ago
24 weeks 2 hours ago
28 weeks 4 days ago
28 weeks 4 days ago
29 weeks 13 hours ago
29 weeks 13 hours ago
31 weeks 6 days ago