Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

SubL

SubL is a programming language based on Common Lisp, which can be easily compiled into the C programming language. Modern implementations of SubL are… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
We use a labelled deduction system based on the concept of computational paths (sequences of rewrites) as equalities between two… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
2018
Review
2018
One of the most interesting entities of homotopy type theory is the identity type. It gives rise to an interesting interpretation… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2016
2016
El p????, entes com a emocio, com a afectacio, esta intimament relacionat amb la teoria d'Aristotil a proposit del que s'ha… Expand
2016
2016
We introduce a new way of formalizing the intensional identity type based on the notion of computational paths which will be… Expand
2010
2010
Abstract Impairment of joint attention represents the core clinical features of pervasive developmental disorders (PDDs… Expand
  • figure 1
  • figure 2
2010
2010
ABSTRACT ABSTRACT ABSTRACT In the present work, fast dissolving tablets of fex ofenadine hydrochloride were designed with a view… Expand
2005
2005
1° Neue Fundorte vonHarpagoxenus sublaevis Nyl. in Deutschland werden mitgeteilt (Nurnberg, Erlangen, Amberg, Bamberg… Expand
Highly Cited
2005
Highly Cited
2005
  • H. Ruska
  • Naturwissenschaften
  • 2005
  • Corpus ID: 34287818
meistens geschmolzene Graupelk6rper, die sich aus den Eiskristal len du tch AnIagern yon weiteren Kristal len und unterkf ihl ten… Expand
  • figure 3
  • figure 2
  • figure 4
  • figure 5
1984
1984
O F THE MANY supplication scenes in Greek literature which have received close examination, the Odysseus-Arete episode in Odyssey… Expand
1976
1976
It is shown that allowance for the contribution of the two-photon state to the real part of the K/subL/..-->..2..mu.. decay… Expand