Matches in DBpedia 2016-04 for { <http://doi.org/10.1017/s0960129500001213> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- s0960129500001213 doi "10.1017/S0960129500001213".
- s0960129500001213 first1 "C.".
- s0960129500001213 first2 "B.".
- s0960129500001213 isCitedBy Kappa_calculus.
- s0960129500001213 issue "4".
- s0960129500001213 journal "Mathematical Structures in Computer Science".
- s0960129500001213 last1 "Hermida".
- s0960129500001213 last2 "Jacobs".
- s0960129500001213 pages "501".
- s0960129500001213 title "Fibrations with indeterminates: Contextual and functional completeness for polymorphic lambda calculi".
- s0960129500001213 volume "5".
- s0960129500001213 year "2009".