Book section icon

Book section

Expressivity of Lean Formalisms

Actions


Authors


Publication date:
1994-01-01
URN:
uuid:1821463a-2b55-4091-94e1-e78ba0ef479a
Local pid:
cs:398

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP