募捐 9月15日2024 – 10月1日2024 关于筹款

Software Foundations vol 2 Programming Language Foundations

  • Main
  • Software Foundations vol 2 Programming...

Software Foundations vol 2 Programming Language Foundations

Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Andrew Tolmach, Brent Yorgey
0 / 0
0 comments
你有多喜欢这本书？
下载文件的质量如何？
下载该书，以评价其质量
下载文件的质量如何？
卷:
2
年:
2020
语言:
english
系列:
Software Foundations
文件:
PDF, 2.20 MB
IPFS:
CID , CID Blake2b
english, 2020
线上阅读
正在转换
转换为 失败

关键词

 
current
notation
constr
lemma
constructor
gamma
plf
softwarefoundations.cis.upenn.edu
pe_st
plf.smallstep
apply
simple_intropattern
plf.hoare
step
plf.morestlc
intros
rewrite
plf.references
inductive
match
_x_
goal
theorem
ltac
ident
plf.pe
plf.equiv
tactics
_x
coq
plf.norm
plf.recordsub
inversion
typing
plf.sub
false
plf.hoare2
qed
hoare
stlc
eauto
induction
appears_free_in
reflexivity
destruct
standard
hyp
plf.records
bool
auto_star
eapply
auto_tilde
import
plf.useauto
app
context
lets
prove
has_type
function

关联书单