## 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 min 1 sec ago

57 min 41 sec ago

12 hours 8 min ago

14 hours 52 min ago

15 hours 10 min ago

15 hours 15 min ago

21 hours 3 min ago

2 days 10 hours ago

2 days 15 hours ago

3 days 15 hours ago