Programming languages; pedagogy; proof assistants;
机译:Lambda,使用证明助手教编程语言基础的终极助教
机译:终极转换效率界定前进双λ原子光耦合方案
机译:SEN Blog可能像Lambda一样
机译:Lambda,终极助教
机译:在CDF II上首次测量分支分数Br(lambdab与lambdac mu nu)/ Br(lambdab与lambdac pi)之比。
机译:Lambda轻链基因座的染色体方向:在11q 22中V lambda接近C lambda。
机译:Lambda(0)(b)-> Lambda K + pi(-)和Lambda(0)(b)-> Lambda K + K-衰减的观测并搜索其他Lambda(0)(b)和Xi(0) (b)衰减到Lambda h(+)h'(-)最终状态