只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
数理逻辑与范畴论应用(王世强)
数理逻辑与范畴论应用(王世强)
上传者:
easterdev
|
上传时间: 2019-12-21 19:41:37
|
文件大小: 4.96MB
|
文件类型: zip
数理逻辑
范畴
数理逻辑是基础工具,研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注,擦除掉也不影响解释执行。类型标志就像xx编程规范,可以增强可读性正确性,减少bug。但也不仅于此,类型是对编程语言的抽象,类型表达一类变量或函数的共同行为特征。
文件下载
立即下载
评论信息
其他资源
Delphi2CPP 和注册机
AxureUX电商产品移动端交互原型
基于单片机的灯光自动控制系统
Pro WPF and Silverlight MVVM Effective Application Development with 无水印pdf
一个简单的HTML5网页设计
Javaweb的增删改查的小案例(jsp+tomcat+eclipse+mysql)
C#编写、自动温度报警器
Linear Algebra and Its Applications习题解答 英文版
金橙子最新打标软件软件2.14.11
吴恩达老师深度学习课程作业用到的资源文件lr_utils
把脉 VC++ (完整光盘源码)
中北大学操作系统实验报告
天津工业大学《通信原理》习题解答(全).pdf
ace_tao开发企业级应用 中文版
opencv-4.2.0-windows版本
mobius:交易隐私的不可信摸索-源码
opencv-2.4.13.6-vc14.exe和opencv-4.1.0-vc14_vc15.exe
深信服超融合HCI用户手册_V6.1.0.pdf
镭波F760 BIOS
详解MATLAB图形绘制技术
基于simbad平台的避障算法---栅格法改进版
Essentials of Economics, 6e
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
基于hadoop商品推荐系统课程设计
2019综合测评仿真.zip
张正友相机标定Opencv实现(完整程序+棋盘图)实例源码
Steam离线安装版
基于Matlab的IEEE14节点潮流计算.zip
Spring相关的外文文献和翻译(含出处).zip
基于蒙特卡洛生成电动汽车充电负荷曲线程序
DBSCAN算法Matlab实现
凯斯西储大学(CWRU)轴承数据集(含数据包+整理Python程序+使用说明)
商用密码应用与安全性评估——霍炜.pdf
王万良-人工智能导论(第五版)课件
超大规模集成电路先进光刻理论与应用.pdf
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
EBSD分析软件——Channel5下载安装教程
最新下载
Python ctypes tkinter 调用API函数,设计窗口控制工具
智能车电磁组完整程序
SAR成像BP算法.m
OFDM完整仿真过程及解释(MATLAB)
基于SSM学而优奖学金评定管理系统设计
WKA_合成孔径_合成孔径雷达SAR_SAR_wkA_雷达_
方易通6021/5009刷机包 网友给的,显示8.1的系统,适合6021模块的中控
STM32F4 HAL跑马灯Proteus仿真
ASP.NET MVC EF bootstrap教务信息管理系统
【仿真图 | Proteus8】基于STM32的4层电梯控制系统 课程设计.rar