無料掲示板とチャット、日記やブログのレンタルを行っています

お気に入りに追加  サイトマップ  ホーム

Google
WWWを検索 odp.net4u.orgを検索

[ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z ]

    http://www.cs.ioc.ee/~tarmo   » Uustalu, Tarmo - University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.


Powered by DWodp live version 1.2.4 Copyright © 2003-2004 Dominion Web