5 citations · 5 across the 1 of their papers we have counts for
1 paper
Dirk Pattinson, Mina Mohammadian
We develop a constructive theory of continuous domains from the perspective of program extraction. Our goal that programs represent (provably correct) computation without witnesses…