generated at
System T
from 型付きラムダ計算
System T
単純型付きラムダ計算の拡張
自然数型と高階原始再帰を加えた