CiteULike: Scis0000002's type-theory [12 articles]

Modeling and Using Context: Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999. Proceedings (1999), pp. 833-833.

by Richmond H. Thomason

posted to contextuality type-theory by Scis0000002 on 2007-09-14 22:23:26 as

along with 1 person lillejul

Structural Induction and Coinduction in a Fibrational Setting

Information and Computation, Vol. 145, No. 2. (1998), pp. 107-152.

by Claudio Hermida, Bart Jacobs

posted to bialgebras fibring induction initial-algebras terminal-coalgebras type-theory by Scis0000002 on 2007-08-25 13:28:24 as

Reflective Semantics of Constructive Type Theory: Preliminary Report

In Constructivity in Computer Science (1991), pp. 33-45.

by Scott F. Smith

posted to constructive-type-theory constructivity topos-theory type-theory by Scis0000002 on 2007-08-20 14:52:42 as

Universal Algebra in Type Theory

In Theorem Proving in Higher Order Logics (1999), pp. 131-148.

by Venanzio Capretta

posted to formalization type-theory universal-algebra by Scis0000002 on 2007-08-20 14:03:35 as

Developing Theories of Types and Computability

(1999)

by L. Birkedal

posted to domain-theory topos-theory type-theory universes-of-discourse by Scis0000002 on 2007-08-20 00:21:42 as

Rewrite systems on a lattice of types

Acta Informatica, Vol. 22, No. 2. (1 June 1985), pp. 149-169.

by R. J. Cunningham, A. J. J. Dick

posted to hierarchy-of-types lattice-of-types rewriting type-theory types by Scis0000002 on 2007-08-06 23:44:42 as

A Topos Foundation for Theories of Physics: I. Formal Languages for Physics

ArXiv Quantum Physics e-prints (March 2007)

by A. Doering, C. J. Isham

posted to cartesian-closed-categories categorical-logic computational-complexity-theory computational-logic conceptua conceptual-structures formal-digital-libraries formal-interoperability formal-physics formal-theories formality functional-programming general-logics goedel-machine hierarchy-of-complexity-classes higher-order-categorical-logic higher-topos-theory hyperdoctrines inquiry interoperability intuitionistic-logic lamda-calculus language-selection local-mathematics logic-selection logical-structures logical-theories metalogical-frameworks metalogics philosophy-of-science physical-models physical-theories proof-transformation relativity research-frameworks resource-allocation sketches topos-morphisms topos-theory toposes type-theory by Scis0000002 on 2007-07-07 14:51:07 as

along with 8 people GorgeousNicko svbcrypto prydzews jrw proportional madhadron scis0000001 gpi

	An Introduction to Dependent Type Theory [My Copy] Lecture Notes in Computer Science, pp. 1-41. by Gilles Barthe, Thierry Coquand posted to abstract-machines dependent-type-theory dependent-types functional-programming type-theory by Scis0000002 on 2009-06-20 08:15:21 as along with 4 people and 1 group dherman greg_restall tautologico noam_zeilberger NU-PRL
	Operational interpretations of linear logic [My Copy] Theoretical Computer Science, Vol. 227, No. 1--2. (1999), pp. 231-248. by David N. Turner, Philip Wadler posted to intuitionistic linear-logic type-theory by Scis0000002 on 2009-06-20 08:11:13 as along with 3 people and 1 group dherman tautologico ds NU-PRL
	Putting curry-howard to work [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85. by Tim Sheard posted to type-theory by Scis0000002 on 2009-02-07 10:57:01 as along with 13 people and 3 groups fvogels draganigajic greenrd plaugg yallop thsutton voigt mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
	Towards Formalizing Categorical Models of Type Theory in Type Theory [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 196 (2008), pp. 137-151. by Alexandre Buisse, Peter Dybjer posted to category-theory constructive type-theory by Scis0000002 on 2008-04-27 15:40:51 as
	The groupoid interpretation of type theory [My Copy] (1995) by M. Hofmann, T. Streicher posted to groupoids type-theory by Scis0000002 on 2008-04-05 23:39:37 as along with 2 people and 1 group draganigajic mcclurmc Lambda the Ultimate
	Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects [My Copy] Modeling and Using Context: Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999. Proceedings (1999), pp. 833-833. by Richmond H. Thomason posted to contextuality type-theory by Scis0000002 on 2007-09-14 22:23:26 as along with 1 person lillejul
	Structural Induction and Coinduction in a Fibrational Setting [My Copy] Information and Computation, Vol. 145, No. 2. (1998), pp. 107-152. by Claudio Hermida, Bart Jacobs posted to bialgebras fibring induction initial-algebras terminal-coalgebras type-theory by Scis0000002 on 2007-08-25 13:28:24 as
	Reflective Semantics of Constructive Type Theory: Preliminary Report [My Copy] In Constructivity in Computer Science (1991), pp. 33-45. by Scott F. Smith posted to constructive-type-theory constructivity topos-theory type-theory by Scis0000002 on 2007-08-20 14:52:42 as
	Universal Algebra in Type Theory [My Copy] In Theorem Proving in Higher Order Logics (1999), pp. 131-148. by Venanzio Capretta posted to formalization type-theory universal-algebra by Scis0000002 on 2007-08-20 14:03:35 as
	Developing Theories of Types and Computability [My Copy] (1999) by L. Birkedal posted to domain-theory topos-theory type-theory universes-of-discourse by Scis0000002 on 2007-08-20 00:21:42 as
	Rewrite systems on a lattice of types [My Copy] Acta Informatica, Vol. 22, No. 2. (1 June 1985), pp. 149-169. by R. J. Cunningham, A. J. J. Dick posted to hierarchy-of-types lattice-of-types rewriting type-theory types by Scis0000002 on 2007-08-06 23:44:42 as
	A Topos Foundation for Theories of Physics: I. Formal Languages for Physics [My Copy] ArXiv Quantum Physics e-prints (March 2007) by A. Doering, C. J. Isham posted to cartesian-closed-categories categorical-logic computational-complexity-theory computational-logic conceptua conceptual-structures formal-digital-libraries formal-interoperability formal-physics formal-theories formality functional-programming general-logics goedel-machine hierarchy-of-complexity-classes higher-order-categorical-logic higher-topos-theory hyperdoctrines inquiry interoperability intuitionistic-logic lamda-calculus language-selection local-mathematics logic-selection logical-structures logical-theories metalogical-frameworks metalogics philosophy-of-science physical-models physical-theories proof-transformation relativity research-frameworks resource-allocation sketches topos-morphisms topos-theory toposes type-theory by Scis0000002 on 2007-07-07 14:51:07 as along with 8 people GorgeousNicko svbcrypto prydzews jrw proportional madhadron scis0000001 gpi

Scis0000002's type-theory [12 articles] Export

Scis0000002's tags

markets	79
control-models	77
dynamics	67
strategies	65
biophysics	60
topos-theory	59
nonlinearity	57
interoperability	55
time-series	54
biological-structures	54
hyperefficiency	54
ontologies	50
problem-solving	50
activities	49
systems-biology	49
philosophy-of-science	47
mathematical-structures	47
invariances	46
modularity	46
memories	45
symmetries	45
signal-processing	45
solitons	44
organisms	44
monitoring	44
hci	43
logical-theories	42
order-structures	42
gauge-theories	41
developing	41
games	41
contextuality	41
3d	41
synthetic-biology	40
networks	40
cells	40
pricing	40
brain-models	38
real-time	38
metalogics	38
communities	38
events	37
risks	37
quantum-computing	37
therapies	37
behaviors	37
complexities	37
social-dynamics	37
normative-systems	36
formal-theories	34
neuroethics	34
survivability	34
institutions	33
portfolios	33
metalogical-frameworks	33
kernel-methods	32
category-of-theories	32
semantic-web	32
infrastructures	32
universes	32
neuromodulating	32
specification	32
representations	32
logical-frameworks	32
searching	32
contracts	31
similarities	31
self-models	31
entropies	31
wave-equations	30
correlations	30
collaborating	29
category-theory	29
planning	29
scale-spaces	29
genomes	29
predicting	28
metascience	28
semantics	28
diseases	28
standing-waves	28
classifications	28
matter-waves	27
gravitational-waves	27
streams	27
fields	27
oscillations	27
deciding	27
environments	27
higher-dimensional	26
metamathematics	26
computational-neuroscience	26
reinforcement-learning	26
neurodynamics	26
enterprises	26
modeling	26
information-extracting	26
modules	25
algebraicity	25
flows	25
group-theory	25
sensor-networks	25
qm	25
societies	25
argumentation-theory	24
inferencing	24
game-theory	24
quantum-coherence	24
transforming	24
clustering	24
reconstructing	24
derivatives	24
resource-allocation	24
hierarchy-of-abstract-machines	23
argumentation	23
trading-strategies	23
neurosemiotics	23
situations	23
bioelectromagnetics	23
options	23
qft	23
quantum-strategies	23
neuroscience	23
unified-concept-theory	23
frameworks	22
toposes	22
bcis	22
membranes	22
computational-trading	22
abilities	22
social-technologies	22
energies	22
justice-theories	22
distributed	22
performance	22
bioethics	22
fractality	22
temporal	22
visual	22
formation	22
logics	22
hierarchies	22
populations-of-strategies	22
question-answering	21
globalization	21
abstract-machines	21
brain-theories	21
nervous-systems	21
computability-logic	21
nlp	21
imaging	21
behavior	21
self-interacting	20
social-systems	20
space-time	20
brain-states	20
nonequilibrium	20
mathematical-biology	20
formal-development	20
robotics	20
ui	20
trading	20
experiments	20
holography	20
unifying	20
evolving	20
brain-interfaces	20
text-mining	20
reflectivity	19
research-frameworks	19
computational-epistemology	19
sequences	19
physical-structures	19
populations	19
gravitational-theories	19
interfaces	19
matching	19
constraints	19
innovating	19
genome-spaces	19
segmenting	19
information-processing	19
scientific-theories	19
transformability	19
self-modeling	19
interactivity	18
mining	18
biological-systems	18
optimality	18
tasks	18
brain-activities	18
personalized-medicine	18
simulating	18
fol	18
brains	18
neurophilosophy	18
proteins	18
higher-order	18
neural-networks	18
neurotechnologies	18
specifications	18
user-modeling	18
news	18
power	18
particles	18
wireless	17
thermodynamics	17
quantum-games	17
iff	17
distributedness	17
time	17
quantum-entanglement	17
computational-biology	17
functional-programming	17
economic-models	17
space-times	17
de-broglie-waves	17
interactions	17
technologies	17
duality	17
uncertainty	17
heterogeneity	17
atoms	17
coherence	17
qip	17
augmented-reality	17
selecting	17
experts	17
support	17
behavior-spaces	17
mas	17
testing	17
hypermedia	17
complete-lattices	16
effects	16
learning	16
organizations	16
string-theory	16
complexity	16
wave-functions	16
rewriting	16
formal-methods	16
beliefs	16
democratic-technologies	16
semigroups	16
filtering	16
social-networks	16
intelligences	16
histories	16
cancers	16
approximations	16
measuring	16
supersymmetry	16
gravity-theories	16
allocating	16
hyperplanes	16
stability	16
augmenting	16
quantum-gravity	16
circuitry	16
hierarchy-of-machines	16
potentials	15
distributions	15
antennas	15
investing-strategies	15
world-models	15
life-logging	15
quantum-biology	15
entanglement	15
logging	15
information-theory	15
resilience	15
regulative-systems	15
architectures	15
visualizing	15
model-theory	15
behavior-models	15
behavioral-models	15
algorithmic-information-theory	15
cortexes	15
extremal-biology	15
toes	15
global	15
hypercomputability	15
electrostatics	15
network-analysis	15
volatility	15
opinions	15
policies	14
justice-models	14
computational-learning	14
ilp	14
probability-theory	14
socio-economic-systems	14
economics	14
behavioral-equations	14
linearized-gravity	14
formalization	14
model-organisms	14
bioengineering	14
relativity	14
drug-development	14
goog	14
bayesian	14
interconnectivity	14
ontology	14
scientific-frameworks	14
computational-intelligence	14
futures	14
justice-technologies	14
finance	14
information-flows	14
surfaces	14
growth	13
dbs	13
patents	13
attention	13
phase-spaces	13
all-possible-worlds	13
indexing	13
gr	13
rules	13
molecular-machines	13
biotechnologies	13
neurosociety	13
meta-level-architectures	13
cosmological-models	13
web-services	13
economic-theories	13
information-retrieval	13
logical-structures	13
multimodal	13
becs	13
robots	13
bundles	13
industries	13
discreteness	13
combining	13
molecules	13
justice-infrastructures	13
neural-codes	13
signal-complexity	13
extremality	13
biology	13
multiscale	13
electromagnetics	13
superconductivity	13
interacting	13
argumenting	13
metamathematical-frameworks	13
water	13
sensors	13
formal-biology	13
symmetry-breaking	13
assistive-technologies	12
computability	12
products	12
resources	12
brain-functions	12
adaptivity	12
physics	12
hyperstructures	12
diagnostics	12
nlg	12
cip	12
defeasible-logic	12
similarity	12
spatio-temporal	12
goals	12
coordinating	12
skills	12
category-of-specifications	12
screening	12
theories	12
coalgebras	12
type-theory	12
reverse-engineering-nature	12
predictability	12
algebraic-theories	12
computational-science	12
representation	12
annotating	12
top-down	12
order-books	12
automating	12
nodal-domains	12
groupoids	12
physical-theories	12
aharonov-bohm-effect	11
control-systems	11
pharmaceutical	11
executable-theories	11
hypernetworks	11
cosmology	11
knowledge-society	11
quantum-theory	11
biosignals	11
querying	11
process-models	11
standard-model	11
multi-context-systems	11
computational-complexity-theory	11
nonlocality	11
electron-waves	11
manifolds	11
local	11
control-theories	11
biochemistry	11
presentations	11
detecting	11
immunotherapy	11
control	11
linguistic-frameworks	11
cancer	11
molecular-structures	11
bottom-up	11
computational-legal-sciences	11
field-computing	11
business-cycles	11
software-development	11
economic-dynamics	11
elf	11
gaming	11
implants	11
collaboration	11
relevance	11
stem-cells	11
experiences	11
dimensionality	11
bioinformatics	11
theoretical-biology	11
decoding	11
media	11
periodicity	11
plasmas	11
molecular-biology	11
category-of-strategies	11
reward-systems	11
argumentation-games	10
nonstationarity	10
episodes	10
web-apps	10
contracting	10
quantum-decoherence	10
modal-logic	10
schroedinger-equation	10
cloud-computing	10
higher-dimensional-category-theory	10
knowledge-processing	10
formal-science	10
curvatures	10
detectors	10
substrates	10
behaving	10
languages	10
semantic-technologies	10
feedback	10
concurrency	10
dark-matter	10
immunology	10
cognitive-architectures	10
epigenetics	10
synthetic-science	10
health-states	10
m-theory	10
scale-invariance	10
polytopes	10
personality-models	10
kbs	10
immune-systems	10
coding	10
rewriting-logic	10
topology	10
classifying	10
goedel-machine	10
bound-states	10
chemical-structures	10
mathematization	10
genetic-programming	10
formal-physics	10
pathways	10
hedging	10
biocomputing	10
interaction	10
gravity	10
attractors	10
noncommutativity	10
electrodynamics	10
emotions	10
tissues	9
taxonomies	9
legal-frameworks	9
genes	9
epistemology	9
cantor-space	9
synthetic-memories	9
network-dynamics	9
signatures	9
eeg	9
preferences	9