検索結果 3 件
デジタル記事
インターネットで読める全国の図書館
- 関連情報Advances in Software Scien......and Technology || 4 || p137-150 http://www.imi.kyush...
デジタル記事
インターネットで読める全国の図書館
- 要約等A categorical interpretation of assertion(axiomatic) semantics of programming languages is ......d programs are interpreted as (binary) relations in toposes by making use of relati......ns are proved. Assertions in the semantics depend on the intuitionistic lo......tension of the assertion semantics due to E.G. Manes and M.A. Ar...
紙記事
国立国会図書館全国の図書館
- 並列タイトル等(連結)Categorical Assertion Semantics in Elementary Toposes
- 並列タイトル等Categorical Assertion Semantics in Elementary Toposes
検索結果は以上です。