Babis Kostopoulos

高階論理アプリケーションのためのAFTとカテゴリ理論を組み合わせたフレームワーク。