Login / Signup
A Proof-Irrelevant Model of Martin-Löf's Logical Framework.
Daniel Fridlender
Published in:
Math. Struct. Comput. Sci. (2002)
Keyphrases
</>
logical framework
multi agent
probabilistic model
qualitative and quantitative