SKIL

swMATH25433MaRDI QIDQ37172FDOQ37172

Author name not available (Why is that?)

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