[Agda] Where is paper Short description of ALF

[Bengt Nordstrom]

Hallo Yakov,
There is a link to it here. The paper is 20 years old, but google  
scolar found it!

http://tinyurl.com/shortalf

Best regards,
Bengt

On 18 sep 2009, at 13.07, Yakov Zaytsev wrote:

> Hello,
>
> I've not found on the Internet electronic version of the paper
>
>   A Short Description of Another Logical Framework
>
> by Augustsson, Coquand, and Nordström appeared in Proceedings of
> the First Workshop on Logical Frameworks.
>
> I've came across this paper while reading Marting-Löf's type theory
> by Nordström, Petersson, and Smith.
>
> Could anybody help me with the paper?
>
> TIA
>
> Best regards,
> Yakov.
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda