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