SKIL

MaRDI QIDQ37172swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F3-540-56944-8_67

Cited in

(1)

• Proof-search in type-theoretic languages: An introduction

This page was built for software: SKIL