Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-58085-9_74> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- 3-540-58085-9_74 booktitle "Proceedings of the Workshop on Types for Proofs and Programs".
- 3-540-58085-9_74 doi "10.1007/3-540-58085-9_74".
- 3-540-58085-9_74 first "S.".
- 3-540-58085-9_74 isCitedBy Refinement_(computing).
- 3-540-58085-9_74 last "Hayashi".
- 3-540-58085-9_74 pages "157–172".
- 3-540-58085-9_74 title "Logic of refinement types".
- 3-540-58085-9_74 year "1993".