Revision 76bfe57f10e30bb987e19552ddcef3d39d4c4161

Schedule/ProofCafe_30

05/25 Schedule/ProofCafe_30
時間: 14:30 - 17:30
場所: 名古屋大学多元数理科学棟 309
参加登録:第30回 #ProofCafe - Partake
ソフトウェアの基礎今回はSfLib_Jの「関係としての評価」から
ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: http://proofcafe.org/sf/sfja.tar.gz
ハッシュタグ: #proofcafe
06/22 OSC名古屋における番外編で使用した単純型付きλ計算の評価と型推論のPrologコードは以下です。いただいた質問から判明したbugを修正しています。
https://github.com/suharahiromichi/prolog/blob/master/type_stlc.swi
https://github.com/suharahiromichi/prolog/tree/master/tapl/