计算语义学与类型理论Computational Semantics and Type Theory

Name: 计算语义学与类型理论Computational Semantics and Type Theory
Rating: 4.5 (24 reviews)
Author: qq_32494336

上传者：qq_32494336 2020-07-27 09:05:34上传 TXT文件 88B 热度 24次

涵盖在功能编程（Haskell）框架中指定的语言语义分析中逻辑的应用。

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

计算语义学与类型理论Computational Semantics and Type Theory

涵盖在功能编程（Haskell）框架中指定的语言语义分析中逻辑的应用。

大小：88B | 2020-07-27 09:05:34
证明理论语义学的进展Advances in ProofTheoretic Semantics

论文汇编，主要来自2013年在蒂宾根举行的第二届国际证明论语义学国际会议。

大小：0B | 2020-06-11 20:55:11
语义学semanticweb

大小：0B | 2019-01-12 01:41:22
语义学源码

KEEI:以太坊环境接口( )的K语义在此存储库中,我们提供了K中以太坊环境接口的模型。该模型最初...

大小：12KB | 2021-02-22 21:10:57
计算机语义学_semantic

英文版介绍计算机语义学，semanticswithapplications,Aformalintro...

大小：0B | 2019-07-06 18:11:06
形式语义学

形式语义学的教科书两本:形式语义学（formalsemantics），是程序设计理论的组成部分，以数...

大小：0B | 2019-07-11 19:37:08
形式语义学.pdf

吉林大学|计算机研究生|软理|形式语义学，电子版笔记，自己上课时亲手写的笔记，xmind做的思维导图...

大小：0B | 2020-05-18 00:51:08
semanticAll程序语义学入门

相关的关于形式语义学的书籍都是英文版的,现在将一中文版的形式语义学讲义上传,共分享。

大小：2.69MB | 2020-09-20 08:56:48
编程语言语义学讲义Lecture Notes on Semantics of Programming Languages

介绍编程语言语义的结构化，可操作的方法。

大小：482KB | 2020-07-27 09:05:34
semantica_web语义学源码

语义网语义学

大小：2.51MB | 2021-04-26 14:30:23
形式语义学PPT讲稿

研究生课程的形式语义学PPT讲稿，现在上完课了，传上来大家一起分享下吧！

大小：0B | 2019-05-22 17:25:04
语义学习实验方法探究

为机器学习提供新的研究思路和方法，为机器学习开拓思路

大小：0B | 2019-10-19 20:18:40
形式语义学课程资料PPT

本课程的内容是程序设计理论的组成部分,它以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计...

大小：9.1MB | 2021-04-29 07:53:12
形式语义学英文版

老师指定的形式语义学参考书，英文版的书：FormalSyntaxandSemanticsofProg...

大小：0B | 2019-07-24 02:44:55
形式语义学笔记zhh版.pdf

个人根据课程材料+自己的思考总结出来的笔记版的形式语义学,如有需要可以直接跟着笔记学习形式语义学这门...

大小：188.05MB | 2020-09-06 00:00:03
计算类别理论Computational Category Theory

本书是类别理论与计算机编程之间的桥梁。它试图使用功能性编程语言ML将抽象数学与具体程序联系起来。

大小：98B | 2020-08-20 08:51:59