Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

André Joyal

> Home > Persons

Person information

affiliation: Université du Québec à Montréal, Canada

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HuJ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HuJ99
Hongde Hu, André Joyal:
Coherence Completions of Categories. Theor. Comput. Sci. 227(1-2): 153-184 (1999)
1996
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/JoyalNW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/JoyalNW96
André Joyal, Mogens Nielsen, Glynn Winskel:
Bisimulation from Open Maps. Inf. Comput. 127(2): 164-185 (1996)
1994
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/JoyalM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/JoyalM94
André Joyal, Ieke Moerdijk:
A Completeness Theorem for Open Maps. Ann. Pure Appl. Log. 70(1): 51-86 (1994)
1981
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/BoileauJ81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/BoileauJ81
Andre Boileau, André Joyal:
La Logique des Topos. J. Symb. Log. 46(1): 6-16 (1981)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/JoyalK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JoyalK11
André Joyal, Joachim Kock:
Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract). QPL@MFPS 2009: 105-113
1997
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HuJ97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HuJ97
Hongde Hu, André Joyal:
Coherence completions of categories and their enriched softness. MFPS 1997: 174-190
1993
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/JoyalNW93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/JoyalNW93
André Joyal, Mogens Nielsen, Glynn Winskel:
Bisimulation and open maps. LICS 1993: 418-427

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.