## User login## Navigation |
## 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 |
## Browse archives## Active forum topics |

## Recent comments

8 weeks 3 days ago

8 weeks 5 days ago

8 weeks 6 days ago

15 weeks 6 days ago

21 weeks 4 days ago

21 weeks 5 days ago

22 weeks 4 days ago

25 weeks 2 days ago

26 weeks 5 days ago

26 weeks 6 days ago