Eriskay

MaRDI QIDQ55367swMATHFDO

Official website https://homepages.inf.ed.ac.uk/jrl/Eriskay/

Cited in

(2)

• Higher-order computability
• Some programming languages suggested by game models (extended abstract)

This page was built for software: Eriskay