Implementation of untyped and simply typed lambda calculus with support for parsing, printing and evaluation.
-
Updated
Oct 8, 2018 - Java
Implementation of untyped and simply typed lambda calculus with support for parsing, printing and evaluation.
My Notes on the Fibrational Semantics of Simple, Polymorphic, and Dependent Type Theory
Monotonic References for Gradual Typing in Agda
A compositional approach to phrase embeddings
palasimi website
This is Challenge1 Semantics and Accessibility Assignment
Вёрстка лендинга «Smart Device»
📈 microservice for reports on semantics and accessibility
A collection of colexification graphs extracted from Wiktionary
Code release for Semantic Similarity Covariance Matrix Shrinkage
Publication REpository Semantic System
Prototype Concept Negotiation Using Conceptual Spaces
Given a tweet in a political context, the objective is to generate a reply which is either for or against the tweet i.e. left or right aligned based on the tweeters political inclination.
This project is aimed at developing a program to evaluate the truth-value of sentences in First-Order Logic and construct proofs.
A library for parsing natural language to a pre-defined set of intents or semantics.
HTML5, CSS3, Semantics, Flexbox, Javascript
An implementation of Medical-term Concept Mapping via three-levels: Syntax-Semantics-Pragmatics.
Markup generation from user defined templates with semantics
Add a description, image, and links to the semantics topic page so that developers can more easily learn about it.
To associate your repository with the semantics topic, visit your repo's landing page and select "manage topics."