Title of article :
An algorithm for type-checking dependent types
Author/Authors :
Thierry Coquand، نويسنده ,
Issue Information :
دوماهنامه با شماره پیاپی سال 1996
Abstract :
We present a simple type-checker for a language with dependent types and let expressions, with a simple proof of correctness.
Journal title :
Science of Computer Programming
Journal title :
Science of Computer Programming
