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
19 weeks 5 days ago
24 weeks 18 hours ago
25 weeks 4 days ago
25 weeks 4 days ago
28 weeks 2 days ago
33 weeks 4 hours ago
33 weeks 5 hours ago
33 weeks 3 days ago
33 weeks 3 days ago
36 weeks 1 day ago