robotact's Girard:JY [9 articles] Export

Recent papers posted to robotact's library by the author Girard:JY. You can also see everyone's Girard:JY.

	The Blind Spot [My Copy] (2004) by Jean Y. Girard posted to proof_theory linear_logic geometry_of_interaction 55555 by robotact on 2009-09-06 23:19:16 as
	On denotational completeness [My Copy] Theor. Comput. Sci., Vol. 227, No. 1-2. (1999), pp. 249-273. by Jean Y. Girard posted to linear_logic denotational_semantics by robotact on 2009-09-05 16:11:21 as
	The phantom of transparency [My Copy] (2008) by Jean Y. Girard posted to linear_logic exposition 333 by robotact on 2009-09-05 15:38:22 as
	Linear logic: its syntax and semantics [My Copy] In Proceedings of the workshop on Advances in linear logic (1995), pp. 1-42. by Jean Y. Girard posted to linear_logic exposition 22 by robotact on 2009-09-02 23:03:36 as
	Locus Solum: From the rules of logic to the logic of rules [My Copy] Mathematical. Structures in Comp. Sci., Vol. 11, No. 3. (2001), pp. 301-506. by Jean Y. Girard posted to ludics by robotact on 2009-08-27 14:17:04 as
	From Foundations to Ludics [My Copy] The Bulletin of Symbolic Logic, Vol. 9, No. 2. (2003), pp. 131-168. by Jean Y. Girard posted to model_theory ludics linear_logic 333 by robotact on 2009-08-26 11:13:48 as
	On the meaning of logical rules I: syntax vs. semantics [My Copy] In Computational Logic (1999), pp. 215-272. by Jean Y. Girard edited by Ulrich Berger, Helmut Schwichtenberg posted to logic linear_logic formal_semantics 333 by robotact on 2009-08-24 22:49:23 as
	Linear logic [My Copy] Theor. Comput. Sci., Vol. 50, No. 1. (January 1987), pp. 1-102. by Jean Y. Girard posted to linear_logic 333 by robotact on 2009-07-27 20:26:33 as along with 4 people robertjohnsimmons bfraser adrian_pigors kira
	Proofs and types [My Copy] (1989) by Jean Y. Girard, Paul Taylor, Yves Lafont posted to logic linear_logic introduction formal_semantics curry-howard computer_science 4444 by robotact on 2009-07-24 12:27:44 as along with 7 people and 1 group pedagand ddemange dimvar robertjohnsimmons alec AndreasSchropp jonathlela ConcertRG

Note: You may cite this page as: http://www.citeulike.org/user/robotact/author/Girard:JY

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

22	70
books	68
333	59
neuroscience	50
machine_learning	47
fantasy	37
textbooks	33
4444	32
bayesian	29
bayesian_networks	29
review	25
category_theory	22
hippocampus	21
sci-fi	20
abstract_interpretation	19
place_cells	19
agi	18
cogsci	16
formal_semantics	16
linear_logic	16
introduction	16
grid_cells	14
symbol_grounding	14
information_theory	14
1	13
decision_theory	13
seminal	12
hebbian_learning	12
philosophy	12
malazan_series	12
markov_models	11
tutorial	11
ethshar_series	10
connectionism	10
oscillation	10
programming_languages	10
game_semantics	9
clustering	9
maximum_margin	9
concepts	9
model_checking	8
computer_science	8
analogy	8
coalgebra	8
compositionality	8
theta_precession	8
lambda_calculus	8
incremental_networks	8
episodic_memory	7
sequence_models	7
stdp	7
physics	7
science	7
neural_networks	7
utility_representation	7
logic	7
belief_propagation	7
denotational_semantics	7
cognitive_theory	7
complex_systems	6
transition_systems	6
entropy	6
to_close	6
online_learning	6
copycat	5
recurrent_networks	5
concurrency	5
friendly_ai	5
representation	5
ludics	5
galois_connection	5
bias	5
programming	5
curry-howard	5
farg	5
fiction	5
visual_processing	5
sparse_coding	5
prince_of_nothing	4
action	4
cognition	4
proper_scoring_rules	4
shruti	4
kikuchi_approximation	4
evolutionary_psychology	4
causality	4
relational_data	4
55555	4
algebra	4
bisimulation	4
domain_theory	4
polychrony	4
nlp	4
order_theory	4
short_story	4
conditional_random_fields	4
mean_field	3
termodynamics	3
type_systems	3
type_theory	3
probabilistic_databases	3
covenant_chronicles	3
memory	3
temporal_logics	3
epistemology	3
rationality	3
pi_calculus	3
markov_random_fields	3
discriminative_learning	3
reversibility	3
monte_carlo	3
spiking_networks	3
eurisko	3
history	3
survey	3
cox_theorem	2
prediction	2
spatiotemporal	2
logic_programming	2
model_theory	2
factor_graphs	2
cell_assemblies	2
quantum_mechanics	2
mdp	2
deep_networks	2
naive_bayes	2
linear_objects	2
generative_learning	2
reinforcement_learning	2
coinduction	2
robust_programs	2
forgetting	2
proof_search	2
logical_inference	2
genetic_algorithms	2
topos_theory	2
geometry_of_interaction	2
set_theory	2
attractors	2
generative_networks	2
real_numbers	2
nars	2
semi_supervised	2
neocortex	2
sme	2
raam	2
exposition	2
concept_blending	1
novamente	1
border_cells	1
temporal_reasoning	1
compression	1
feature_construction	1
subthreshold_oscillation	1
abstract_machines	1
classifiers	1
hrr	1
mathematics	1
classical_mechanics	1
view_cells	1
measurement_theory	1
automata	1
stellate_cells	1
probability_theory	1
frame_representation	1
cegar	1
cortical_columns	1
modular_analysis	1
input_derivatives	1
free_energy	1
tensors	1
frequentist	1
aczel_sets	1
computability	1
functional_programming	1
dimentionality_reduction	1
logistic_regression	1
probabilistic_grammars	1
subjective_probability	1
bucket_elimination	1
delayed_networks	1
intuitionistic_logic	1
time	1
viterbi_algorithm	1
neural_ensemble	1
relativity	1
mating	1
transfer_learning	1
compilers	1
process_algebra	1
ising_model	1
fairness	1
9_unavailable	1
lida	1
aixi	1
bayesian_programs	1
agnostic_learning	1
learning_networks	1
consciousness	1
academia	1
synchrony	1
parietal_cortex	1
overview	1
go	1
higher_categories	1
variational_methods	1
proof_theory	1
conjunction_fallacy	1
lisa	1
neural_map	1
proof_nets	1
biology	1
unsupervised_learning	1
fixed_point	1
dtp	1
operational_semantics	1
paradoxes	1
svd	1
ontology	1
axiomatic_semantics	1
boosting	1
statistics	1
svm	1
hilbert_space	1
perception	1
physical_probability	1
optimization	1
aspect_oriented_programming	1
particle_filters	1

robotact's Girard:JY [9 articles] Export

robotact's tags