トップページ⇒math

766コメント655KB

数学基礎論・数理論理学　その12

■ このスレッドは過去ログ倉庫に格納されています

0397１３２人目の素数さん

2012/05/06(日) 21:13:52.77

>>390
圏論系のラムダ計算って、引数をタプルで渡すその形式のまま
チャーチロッサーとか最左簡約定理とかを、論じるのですか？

■ このスレッドは過去ログ倉庫に格納されています