Books on the topic 'Isomorphisme de type'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 20 books for your research on the topic 'Isomorphisme de type.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Philippe, De Groote, and Université catholique de Louvain (1970- ). Départment de philosophie., eds. The Curry-Howard isomorphism. Louvain-la-Neuve: Academia, 1995.
Find full textDi Cosmo, Roberto. Isomorphisms of Types: from λ-calculus to information retrieval and language design. Boston, MA: Birkhäuser Boston, 1995. http://dx.doi.org/10.1007/978-1-4612-2572-0.
Full textSimmons, Harold. Derivation and computation: Taking the Curry-Howard correspondence seriously. Cambridge: Cambridge University Press, 2000.
Find full textElatskov, Aleksey. General Geopolitics: Theoretical and Methodological Issues in Geographical Interpretation. ru: INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/2033550.
Full textDicosmo, Roberto. Isomorphisms of Types. Island Press, 1994.
Find full textButton, Tim, and Sean Walsh. Modelism and mathematical doxology. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0006.
Full textKraus, Alain, and Nuno Freitas. On the Symplectic Type of Isomorphisms of the $p$-Torsion of Elliptic Curves. American Mathematical Society, 2022.
Find full textIsomorphisms of Types: From ? -calculus to information retrieval and language design. Birkhäuser Boston, 2011.
Find full textDiCosmo, Roberto. Isomorphisms of Types: From ?-Calculus to Information Retrieval and Language Design. Birkhauser Verlag, 2012.
Find full textTits, Jacques. Buildings of Spherical Type and Finite Bn-Pairs (Ergebnisse Der Mathematik Und Ihrer Grenzgebiete). Springer, 1986.
Find full textIsomorphisms of types: From [lambda]-calculus to information retrieval and language design. Boston: Birkhäuser, 1995.
Find full textButton, Tim, and Sean Walsh. Transcendental arguments against model-theoretical scepticism. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0009.
Full textDiCosmo, Roberto. Isomorphisms of Types:: From delta-calculus to information retrieval and language design (Progress in Theoretical Computer Science). Birkhäuser Boston, 1994.
Find full textHuybrechts, D. Derived Categories of Surfaces. Oxford University Press, 2007. http://dx.doi.org/10.1093/acprof:oso/9780199296866.003.0012.
Full textM¨uhlherr, Bernhard, Holger P. Petersson, and Richard M. Weiss. Linear Automorphisms. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0029.
Full textM¨uhlherr, Bernhard, Holger P. Petersson, and Richard M. Weiss. Affine Fixed Point Buildings. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0027.
Full textM¨uhlherr, Bernhard, Holger P. Petersson, and Richard M. Weiss. Moufang Quadrangles. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0004.
Full textButton, Tim, and Sean Walsh. Categoricity and the natural numbers. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0007.
Full textHuybrechts, D. Fourier-Mukai Transforms in Algebraic Geometry. Oxford University Press, 2007. http://dx.doi.org/10.1093/acprof:oso/9780199296866.001.0001.
Full textSilva, Sergio Mendonça da, Sílvio Parodi Oliveira Camilo, Cristina Keiko Yamaguchi, and Miguelangelo Gianezini. Indutores de políticas, programas e práticas socioambientais: análise das distribuidoras de energia elétrica do sul do Brasil. Brazil Publishing, 2021. http://dx.doi.org/10.31012/978-65-5861-420-3.
Full text