Skip to search form
Skip to main content
>
Semantic Scholar
Semantic Scholar's Logo
Search
Sign In
Create Free Account
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
Create Alert
Related topics
Related topics
4 relations
Common Lisp
Cyc
Inference engine
Programming language
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
A Topological Application of Labelled Natural Deduction
T. M. L. Veras
,
A. Ramos
,
R. D. Queiroz
,
A. Oliveira
ArXiv
2019
Corpus ID: 195316932
We use a labelled deduction system based on the concept of computational paths (sequences of rewrites) as equalities between two…
Expand
Review
2018
Review
2018
On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths
T. M. L. Veras
,
A. Ramos
,
R. D. Queiroz
,
A. Oliveira
ArXiv
2018
Corpus ID: 4589082
One of the most interesting entities of homotopy type theory is the identity type. It gives rise to an interesting interpretation…
Expand
2016
2016
El ΠΆΘΟΣ com a motiu tràgic en els escolis i en les manifestacions artístiques d'època imperial: dansa i novel·la
R. Pérez
2016
Corpus ID: 171862428
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
Computational Paths and Identity Types
A. F. Ramos
,
R. D. Queiroz
,
A. Oliveira
ArXiv
2016
Corpus ID: 13760813
We introduce a new way of formalizing the intensional identity type based on the notion of computational paths which will be…
Expand
2010
2010
Impairment of unconscious, but not conscious, gaze-triggered attention orienting in Asperger's disorder
W. Sato
,
Shota Uono
,
Takashi Okada
,
M. Toichi
2010
Corpus ID: 54084075
Abstract Impairment of joint attention represents the core clinical features of pervasive developmental disorders (PDDs…
Expand
2010
2010
FORMULATION DESIGN OF FAST DISSOLVING TABLETS OF FEXOFENADINE HYDROCHLORIDE BY SUBLIMATION METHOD
D. N. Kumar
,
S. Raju
,
S. Shirsand
2010
Corpus ID: 139002546
ABSTRACT ABSTRACT ABSTRACT In the present work, fast dissolving tablets of fex ofenadine hydrochloride were designed with a view…
Expand
2005
2005
Untersuchungen anHarpagoxenus Sublævis Nyl. (Hym., Formicidæ)
A. Buschinger
Insectes Sociaux
2005
Corpus ID: 36880885
1° Neue Fundorte vonHarpagoxenus sublaevis Nyl. in Deutschland werden mitgeteilt (Nurnberg, Erlangen, Amberg, Bamberg…
Expand
Highly Cited
2005
Highly Cited
2005
Die Sichtbarmachung der bakteriophagen Lyse im Übermikroskop
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
1984
1984
The Rebirth of Odysseus
R. M. Newton
1984
Corpus ID: 56138038
O F THE MANY supplication scenes in Greek literature which have received close examination, the Odysseus-Arete episode in Odyssey…
Expand
1976
1976
Contribution of two-photon mechanism to the real part of the K/subL/. --> mu. mu-bar decay amplitude and estimates of the masses of charmed particles
M. Voloshin
,
E. Shabalin
1976
Corpus ID: 117564785
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
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE