Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher:
Andrew M. Pitts (13)
The Pennsylvania State University CiteSeerX Archives (13)
Mark R. Shinwell (4)
Year
Medium
Type
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 13 of 13
1
Generative unbinding of names
Andrew M. Pitts
;
Mark R. Shinwell
In: http://basics.sjtu.edu.cn/~yuehg/popl/generative unbinding of names (2007).pdf (2007)
BASE
Show details
2
Generative unbinding of names
Andrew M. Pitts
;
Mark R. Shinwell
In: http://arxiv.org/pdf/0801.1251v1.pdf (2007)
BASE
Show details
3
Generative unbinding of names
Andrew M. Pitts
;
Mark R. Shinwell
In: http://www.cl.cam.ac.uk/~amp12/papers/genun/genun-popl.pdf (2007)
BASE
Show details
4
www.elsevier.com/locate/ic Nominal logic, a first order theory of names and binding
Andrew M. Pitts
In: http://www.cl.cam.ac.uk/~amp12/papers/nomlfo/nomlfo-jv.pdf (2002)
BASE
Show details
5
www.elsevier.com/locate/ic Nominal logic, a first order theory of names and binding
Andrew M. Pitts
In: http://www.cl.cam.ac.uk/~amp12/papers/nomlfo/nomlfo-jv.pdf (2002)
BASE
Show details
6
Nominal Logic, A First Order Theory of Names and Binding
Andrew M. Pitts
In: ftp://ftp.cl.cam.ac.uk/papers/amp12/nomlfo-jv.ps.gz (2002)
BASE
Show details
7
Nominal logic, a first order theory of names and binding
Andrew M. Pitts
In: http://www.cl.cam.ac.uk/~amp12/papers/nomlfo/nomlfo-draft.pdf
BASE
Show details
8
XX Denotational Semantics with Nominal Scott Domains
Andrew M. Pitts
In: http://www.cl.cam.ac.uk/~amp12/papers/densns/densns.pdf
BASE
Show details
9
Theory—Syntax; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages—Algebraic
Andrew M. Pitts
In: http://www.cl.cam.ac.uk/users/ap/papers/alpsri/alpsri.pdf
BASE
Show details
10
Structural Recursion with Locally Scoped Names
Andrew M. Pitts
In: http://www.cl.cam.ac.uk/%7Eamp12/papers/strrls/strrls.pdf
BASE
Show details
11
Structural Recursion with Locally Scoped Names
Andrew M. Pitts
In: http://www.cl.cam.ac.uk/%7Eamp12/papers/strrls/strrls.pdf
BASE
Show details
12
Structural Recursion with Locally Scoped Names
Andrew M. Pitts
In: http://www.cl.cam.ac.uk/%7Eamp12/papers/strrls/strrls.pdf
BASE
Show details
13
Abstract
Andrew M. Pitts
;
Mark R. Shinwell
In: http://www.cl.cam.ac.uk/~amp12/papers/genun/genun.pdf
BASE
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
0
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
0
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
13
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern