Martin Löf的类型理论中的编程:简介Programming in Martin Löf's Type Theory: An Introduction
类型理论作为程序构建理论的简介。 从计算科学的角度描述不同的类型理论(类型,多态和单态集以及子集的理论)。
用户评论
推荐下载
-
F#Programming
Cbris Smith.Programming F#, first Ed. F# 编程参考书,是一本优秀的参考书。
16 2020-09-20 -
Instructor s manual for Introduction to the Theory of Computation
Instructor's manual for Introduction to the Theory of Computation,是MIT的Micheal Sipser的计算理论引导的配套答案,pd
27 2020-09-19 -
Introduction_To_The_Theory_Of_Computation计算理论入门
Introduction To The Theory Of Computation。一本很经典的关于计算复杂度理论的书
12 2021-04-18 -
STM32L1F0F1F2F4W系列原理图PCB库
STM32系列原理图和PCB集成库,包括STM32L1、F0、F1、F2、F4。希望可以帮到大家。
41 2019-07-17 -
nRF24l01MSP430F5438的通讯的实现
这个通讯采用2个nRF24L01与MSP430F5438进行相互之间的通讯。主要目的测试MSP430F5438如何操作控制nRF24L01。
3 2020-08-20 -
PIC16L F15123中文数据手册
本数据手册介绍了PIC16(L)F1512/3器件。该器件系列采用28引脚封装形式。
28 2019-07-11 -
c8051f330nrf24l01
c8051f330nrf24l01 已测试ok的
18 2019-03-02 -
f4l_0.2.1_1.2007112_i386.deb
linux下制作flash的软件。初级版本,送给喜欢的人。
15 2019-03-16 -
msp439f149nrf24l01
一套无线接收发送程序,单片机为mspf149,驱动nrf24l01无线模块
12 2019-07-29 -
MX25L25635F256Mb Datasheet
MX25L25635F 256Mb Datasheet.pdf
35 2019-03-29
暂无评论