## 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

6 hours 2 min ago

2 weeks 2 hours ago

6 weeks 1 day ago

6 weeks 5 days ago

6 weeks 5 days ago

8 weeks 5 days ago

8 weeks 5 days ago

9 weeks 1 day ago

9 weeks 1 day ago

10 weeks 1 day ago