1. PTT
  2. PLT

Re: [問題] What does ⊥-elimination do?

作者: joshs (Josh Ko)   2013-03-06 02:11:56
※ 引述《suhorng ( )》之銘言：
: 想請問一下, NJ deduction system 中有這條規則
: Γ |- ⊥
:
繼續閱讀
[問題] What does ⊥-elimination do?suhorng[問題] 請問如何準備Haskell的考試?adu[問題] 關於 Object augmentationtkcn[新手發問] Haskell 驚嘆號 giintaipeiRe: [問題] scala 的 <:<PkmX[問題] scala 的 <:<mRiverRe: [新手發問]Lispykjiang[問題] call/cc 變數的值 印出的結果應該是？suhorngRe: [新手發問]LispbeatitudeRe: [問題] '#'的意思joshs

Links booklink

Contact Us: admin [ a t ] ucptt.com