Conference item icon

Conference item

Abstract Interpretation‚ Logical Relations and Kan Extensions

Actions


Authors



Host title:
J. Logic and Computation‚ 1(1)
Publication date:
1990-01-01


UUID:
uuid:4a07dfa9-ff6a-41f5-901b-83e98d14c2c6
Local pid:
cs:1867
Deposit date:
2015-03-31

Terms of use



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